1. 2001-05-25 [ jEdit-devel ] [ jedit-Bugs-427207 ] gnu/regexp/RESy jedit-dev noreply 2. 2001-05-25 [ jEdit-devel ] [ jedit-Bugs-427207 ] gnu/regexp/RESy jedit-dev noreply