forced java 1.7 in pom
public for timedautomata
public for timedautomata zith the files