Java library for finite automata