[TASK] Update jAutomata to the current version.
[CLEANUP] Use the Generics from the new jAutomata.