1. 2009-03-25 [ jEdit-devel ] [ jedit-Plugin Bugs-2712013 ] Project jedit-dev SourceForge.net 2. 2009-03-25 [ jEdit-devel ] [ jedit-Plugin Bugs-2712013 ] Project jedit-dev SourceForge.net 3. 2009-03-25 [ jEdit-devel ] [ jedit-Plugin Bugs-2712013 ] Project jedit-dev SourceForge.net