artifactId=com.github.jhoenicke.javacup
groupId=de.uni_freiburg.informatik.ultimate
version=1.2.0
