4.0.0 net.automatalib automata-commons-parent pom AutomataLib :: Commons net.automatalib automata-parent 0.3.1-ase2013-tutorial ../pom.xml util smartcollections dotutil