1. 2001-10-31 [ jEdit-devel ] [ jedit-Bugs-471318 ] Problems with " jedit-dev noreply 2. 2001-10-15 [ jEdit-devel ] [ jedit-Bugs-471318 ] Problems with " jedit-dev noreply 3. 2001-10-15 [ jEdit-devel ] [ jedit-Bugs-471318 ] Problems with " jedit-dev noreply