1. 2001-10-31 [ jEdit-devel ] [ jedit-Bugs-476388 ] problems buildi jedit-dev noreply 2. 2001-10-30 [ jEdit-devel ] [ jedit-Bugs-476388 ] problems buildi jedit-dev noreply