tree 4a3d38f9a5579e1ddc498f7adae9e417c2a1bd33
parent f82e748d40117271a7ec6943fad11914cfbc5f15
author margaretha <margaretha@ids-mannheim.de> 1518447951 +0100
committer margaretha <margaretha@ids-mannheim.de> 1518447951 +0100

Updated antlr3-maven-plugin & set Java 7 as an environment variable.

Change-Id: I31a0a90bb344805f48ab3ae473e0c07cca044474