[Java 9] Fix clash with Module from Java 9

Author: Steffen Märcker

prism/src/parser/visitor/ASTTraverse.java

@@ -27,6 +27,7 @@
 package parser.visitor;
 
 import parser.ast.*;
+import parser.ast.Module;
 import prism.PrismLangException;
 
 /**
@@ -220,7 +221,7 @@ public Object visitNow(Module e) throws PrismLangException
 		visitPost(e);
 		return null;
 	}
-	public void visitPost(parser.ast.Module e) throws PrismLangException { defaultVisitPost(e); }
+	public void visitPost(Module e) throws PrismLangException { defaultVisitPost(e); }
 	// -----------------------------------------------------------------------------------
 	public void visitPre(Command e) throws PrismLangException { defaultVisitPre(e); }
 	public Object visitNow(Command e) throws PrismLangException

prism/src/parser/visitor/ASTTraverseModify.java

@@ -27,6 +27,7 @@
 package parser.visitor;
 
 import parser.ast.*;
+import parser.ast.Module;
 import prism.PrismLangException;
 
 /**

prism/src/parser/visitor/DAGVisitor.java

@@ -30,6 +30,7 @@
 import java.util.Map;
 
 import parser.ast.*;
+import parser.ast.Module;
 import prism.PrismLangException;
 
 /**

prism/src/parser/visitor/DeepCopy.java

@@ -32,6 +32,7 @@
 import java.util.Vector;
 
 import parser.ast.*;
+import parser.ast.Module;
 import prism.PrismLangException;
 
 /**

prism/src/parser/visitor/ModulesFileSemanticCheck.java

@@ -29,6 +29,7 @@
 import java.util.Vector;
 
 import parser.ast.*;
+import parser.ast.Module;
 import parser.type.*;
 import prism.ModelType;
 import prism.PrismLangException;

prism/src/pta/DigitalClocks.java

@@ -30,6 +30,7 @@
 
 import parser.*;
 import parser.ast.*;
+import parser.ast.Module;
 import parser.type.*;
 import parser.visitor.*;
 import prism.*;