gnu.regexp JavaDoc