dk.brics.automaton - finite-state automata and regular expressions for Java - View it on GitHub