Java library for various formal languages