Package for automata / formal regular expressions for Java!