A NDFA regular expression parser in Java