4.0.0 net.automatalib automata-core jar AutomataLib :: Core net.automatalib automata-parent 0.5.2 ../pom.xml net.automatalib automata-commons-util net.automatalib automata-api com.google.code.findbugs jsr305 org.testng testng net.sf.trove4j trove4j