4.0.0 org.overturetool core 3.0.3-SNAPSHOT ../pom.xml org.overturetool.core ast The Overture Abstract Syntax Tree org.apache.maven.plugins maven-javadoc-plugin org.overture.ast.* org.overturetool.astcreator astcreator-plugin ${astcreator.version} java generate-sources generate overtureII.astv2 org.codehaus.mojo build-helper-maven-plugin add-source generate-sources add-source ${project.build.directory}/generated-sources/astCreator/ org.codehaus.mojo license-maven-plugin **/VDMToken.java **/Pass.java **/Release.java **/Base64.java **/Dialect.java **/LexBooleanToken.java **/LexCharacterToken.java **/LexIntegerToken.java **/LexKeywordToken.java **/LexLocation.java **/LexNameList.java **/LexQuoteToken.java **/LexRealToken.java **/LexStringToken.java **/LexToken.java **/InternalException.java **/Utils.java **/Settings.java **/ConfigBase.java org.eclipse.m2e lifecycle-mapping 1.0.0 org.overturetool.astcreator astcreator-plugin ${astcreator.version} generate false