Bugfix in PrismParser.isKeyword (leading to incorrect identification of bad identifiers in SBML/reactions to PRISM translation).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9733 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/parser/PrismParser.java

@@ -17,7 +17,7 @@ public class PrismParser implements PrismParserConstants {
 
         // List of keyword strings
         private static ArrayList<String> keywordList = new ArrayList<String>();
-        {
+        static {
                 keywordList.clear();
                 for (int i = PrismParserConstants.COMMENT+1; i < PrismParserConstants.NOT; i++) {
                         keywordList.add(PrismParserConstants.tokenImage[i].replaceAll("\u005c"", ""));

prism/src/parser/PrismParser.jj

@@ -50,7 +50,7 @@ public class PrismParser
 	
 	// List of keyword strings
 	private static ArrayList<String> keywordList = new ArrayList<String>();
-	{
+	static {
 		keywordList.clear();
 		for (int i = PrismParserConstants.COMMENT+1; i < PrismParserConstants.NOT; i++) {
 			keywordList.add(PrismParserConstants.tokenImage[i].replaceAll("\"", ""));