4.0.0 net.automatalib automata-commons-smartcollections jar AutomataLib :: Commons :: Smart Collections net.automatalib automata-commons-parent 0.3.1-ase2013-tutorial ../pom.xml ${project.groupId} automata-commons-util org.testng testng