A Java library for regular expressions and finite automata