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 keywordList = new ArrayList(); - { + 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 keywordList = new ArrayList(); - { + static { keywordList.clear(); for (int i = PrismParserConstants.COMMENT+1; i < PrismParserConstants.NOT; i++) { keywordList.add(PrismParserConstants.tokenImage[i].replaceAll("\"", ""));