An automata project from 2008. Last Java I will have ever willingly written.