missing MANIFEST file for annotations new way for VSIX + added QC to …

…set links + adjusted scripts for higer number of TC errors

annotationsVDMToolkit/src/main/resources/META-INF/annotations.json

@@ -0,0 +1,6 @@
+{
+    "name": "annotationsVDMToolkit",
+    "description": "VDM Toolkit VDM Annotations",
+    "dialects": [ "vdmsl" ],
+    "precision": "standard"
+}

scripts/setlinks.sh

@@ -44,6 +44,8 @@ ln -sf $HOME/.m2/repository/$GROUPID/annotations/$VDMJSUITE-SNAPSHOT/annotations
 ln -sf $HOME/.m2/repository/$GROUPID/vdmj/$VDMJSUITE-SNAPSHOT/vdmj-$VDMJSUITE-SNAPSHOT.jar $RESOURCES/jars/vdmj 				#$RESOURCES/jars/vdmj/vdmj-$VDMJSUITE-SNAPSHOT.jar
 ln -sf $HOME/.m2/repository/$GROUPID/lsp/$VDMJSUITE-SNAPSHOT/lsp-$VDMJSUITE-SNAPSHOT.jar $RESOURCES/jars/vdmj 					#$RESOURCES/jars/vdmj/lsp-$VDMJSUITE-SNAPSHOT.jar
 ln -sf $HOME/.m2/repository/$GROUPID/stdlib/$VDMJSUITE-SNAPSHOT/stdlib-$VDMJSUITE-SNAPSHOT.jar $RESOURCES/jars/vdmj/libs 		#$RESOURCES/jars/vdmj/libs/stdlib-$VDMJSUITE-SNAPSHOT.jar
+ln -sf $HOME/.m2/repository/$GROUPID/quickcheck/$VDMJSUITE-SNAPSHOT/quickcheck-$VDMJSUITE-SNAPSHOT.jar $RESOURCES/jars/vdmj/plugins 		#$RESOURCES/jars/vdmj/libs/stdlib-$VDMJSUITE-SNAPSHOT.jar
+
 #echo "Created jars/vdmj links"
 
 #ln -sf $HOME/.m2/repository/$GROUPID/annotations/$VDMJSUITE-P-SNAPSHOT/annotations-$VDMJSUITE-P-SNAPSHOT.jar $RESOURCES/jars/vdmj_hp

scripts/vdmj.sh

@@ -19,7 +19,7 @@ ANTLRVERSION="3.5.3"
 # Details for 64-bit Java
 JAVA64="/usr/bin/java"
 #-Dvdmj.plugins=plugins.analyses.IsabellePlugin
-VMOPTS=${VDMJ_VMOPTS:--Xmx3000m -Xss1m -Dannotations.debug=true -Djava.rmi.server.hostname=localhost -Dcom.sun.management.jmxremote -Dmax.errors=1000 -Dvdmj.diag.max_stack=10 -Dvdmj.parser.maximal_types=true -Dvdmj.parser.merge_comments=true}
+VMOPTS=${VDMJ_VMOPTS:--Xmx3000m -Xss1m -Dannotations.debug=true -Djava.rmi.server.hostname=localhost -Dcom.sun.management.jmxremote -Dmax.errors=1000 -Dvdmj.tc.max_errors=1000 -Dvdmj.diag.max_stack=10 -Dvdmj.parser.maximal_types=true -Dvdmj.parser.merge_comments=true}
 # Preferred VDMJ options  
 VDMJOPTS=${VDMJ_OPTS:--strict -annotations}