Removed the original main JAutomaton.java class.