4.0.0 java-1.7 0.0.1-SNAPSHOT ipdNexus Recaa Repository http://bob.ipd.kit.edu/nexus/content/repositories/public/ org.codehaus.mojo build-helper-maven-plugin 1.7 target/generated-sources/antlr4 generate-antlr-sources generate-sources add-source compile-with-antlr-sources compile add-source org.antlr antlr4-maven-plugin 4.2 Java7.g4 antlr4 org.apache.maven.plugins maven-jar-plugin jplag.java17.Parser jplag.java17 edu.kit.ipd.jplag frontend-utils org.antlr antlr4-runtime edu.kit.ipd.jplag java-1.5 test edu.kit.ipd.jplag parent 0.3-SNAPSHOT ../jplag.parent/pom.xml