diff --git a/fmi3/vdmcheck/src/main/scripts/VDMCheck3.sh b/fmi3/vdmcheck/src/main/scripts/VDMCheck3.sh
index 975a3dd..c48600c 100755
--- a/fmi3/vdmcheck/src/main/scripts/VDMCheck3.sh
+++ b/fmi3/vdmcheck/src/main/scripts/VDMCheck3.sh
@@ -87,7 +87,6 @@ SCRIPT=$0
 	fi
 	java -Xmx1g \
 		-Dvdmj.parser.merge_comments=true \
-		-Dvdmj.parser.external_readers=.fmu=fmureader.FMUReader,.xml=fmureader.FMUReader \
 		-Dfmureader.noschema=true \
 		-Dfmureader.vdmfile="$SAVE" \
 		-cp vdmj.jar${CLASSPATH_SEPARATOR}annotations.jar${CLASSPATH_SEPARATOR}xsd2vdm.jar${CLASSPATH_SEPARATOR}fmuReader.jar com.fujitsu.vdmj.VDMJ \