fix deprecated usage

Author: Locke

org.coreasm.engine/src/org/coreasm/engine/kernel/Kernel.java

@@ -388,14 +388,14 @@ public Node apply(Node a, Node b) {
 	    	Parser<Node> coreASMParser = Parsers.array(new Parser[] {
 	    			parserTools.getKeywParser("CoreASM", this.getName()),
 	    			idParser,
-	    			parserTools.star(
-	    					Parsers.or(
-	    							useClauseParser,
-	    							refHeaderParser.lazy(),
-	    							initializationParser,
-	    							ruleDeclarationParser
-	    						)
-	    				)
+					parserTools.many(
+							Parsers.or(
+									useClauseParser,
+									refHeaderParser.lazy(),
+									initializationParser,
+									ruleDeclarationParser
+							)
+					)
 	    			}).map(new ParserTools.CoreASMParseMap())
 	    			.followedBy(Parsers.EOF);
 	    	parsers.put("CoreASM", new GrammarRule("CoreASM", 

org.coreasm.engine/src/org/coreasm/jasmine/plugin/JasminePlugin.java

@@ -338,12 +338,12 @@ public Map<String, GrammarRule> getParsers() {
 			// TODO uncomment this line and change the rest of the code accordingly when the used feature becomes available
 			//Parser<Node> tupleTermParser = kernel.getBasicExprParser();
 
-			Parser<Object[]> repeated = 
-				pTools.star(
-					pTools.seq(
-						pTools.getOprParser("."),
-						idParser
-						)
+			Parser<Object[]> repeated =
+					pTools.many(
+							pTools.seq(
+									pTools.getOprParser("."),
+									idParser
+							)
 					);
 
 			Parser<Node> javaIdParser =