diff --git a/prism/src/parser/ast/ModulesFile.java b/prism/src/parser/ast/ModulesFile.java
index 479d8cff..00e14cd7 100644
--- a/prism/src/parser/ast/ModulesFile.java
+++ b/prism/src/parser/ast/ModulesFile.java
@@ -901,7 +901,7 @@ public class ModulesFile extends ASTElement
 		boolean matrix[][] = new boolean[n][n];
 		for (int i = 0; i < n; i++) {
 			SystemDefn sys = systemDefns.get(i);
-			Vector<String> v = new Vector<>();
+			Vector<String> v = new Vector<String>();
 			sys.getReferences(v);
 			for (int j = 0; j < v.size(); j++) {
 				int k = getSystemDefnIndex(v.elementAt(j));