Suppress compiler warning

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

prism/src/parser/Prism3To4.java

@@ -3,6 +3,7 @@ package parser;
 
 import java.io.*;
 
+@SuppressWarnings({"unused", "static-access", "serial"})
 public class Prism3To4 implements Prism3To4Constants {
         public static void main(String[] args) throws ParseException
         {
@@ -2718,16 +2719,6 @@ public class Prism3To4 implements Prism3To4Constants {
     finally { jj_save(186, xla); }
   }
 
-  static private boolean jj_3R_49() {
-    if (jj_3R_89()) return true;
-    Token xsp;
-    while (true) {
-      xsp = jj_scanpos;
-      if (jj_3_69()) { jj_scanpos = xsp; break; }
-    }
-    return false;
-  }
-
   static private boolean jj_3_63() {
     if (jj_3R_47()) return true;
     return false;
@@ -4762,6 +4753,16 @@ public class Prism3To4 implements Prism3To4Constants {
     return false;
   }
 
+  static private boolean jj_3R_49() {
+    if (jj_3R_89()) return true;
+    Token xsp;
+    while (true) {
+      xsp = jj_scanpos;
+      if (jj_3_69()) { jj_scanpos = xsp; break; }
+    }
+    return false;
+  }
+
   static private boolean jj_initialized_once = false;
   /** Generated Token Manager. */
   static public Prism3To4TokenManager token_source;

prism/src/parser/Prism3To4.jj

@@ -42,6 +42,7 @@ package parser;
 
 import java.io.*;
 
+@SuppressWarnings({"unused", "static-access", "serial"})
 public class Prism3To4
 {
 	public static void main(String[] args) throws ParseException

prism/src/parser/PrismParser.java

@@ -10,6 +10,7 @@ import parser.type.*;
 import prism.ModelType;
 import prism.PrismLangException;
 
+@SuppressWarnings({"unused", "static-access", "serial"})
 public class PrismParser implements PrismParserConstants {
         // The modules file associated with properties file being parsed
         private static ModulesFile modulesFile;

prism/src/parser/PrismParser.jj

@@ -42,6 +42,7 @@ import parser.type.*;
 import prism.ModelType;
 import prism.PrismLangException;
 
+@SuppressWarnings({"unused", "static-access", "serial"})
 public class PrismParser
 {
 	// The modules file associated with properties file being parsed