From 38f0e001c2e08f6b3335ed9cb9fa53b7cbb384ea Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 10 Apr 2015 22:30:03 +0000
Subject: [PATCH] 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 | 2 +-
 prism/src/parser/PrismParser.jj   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/prism/src/parser/PrismParser.java b/prism/src/parser/PrismParser.java
index d37825a1..54fe2ac3 100644
--- a/prism/src/parser/PrismParser.java
+++ b/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"", ""));
diff --git a/prism/src/parser/PrismParser.jj b/prism/src/parser/PrismParser.jj
index dad6798c..814b631c 100644
--- a/prism/src/parser/PrismParser.jj
+++ b/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("\"", ""));