4.0.0 jautomata core 2.0.0-alpha-1 jar