Methods labelsOut(state) and transitionsOut(state, label) removed from
Automaton interface.
Methods labelsOut(state) and transitionsOut(state, label) removed from
AbstractAutomaton.
Override annotations removed from transitionsOut(state) methods.
Javadoc added. SinglePathAutomaton renamed to SingleStringAutomaton.
EpsilonAutomaton removed.