1. 2007-07-31 [ jEdit-devel ] [ jedit-Plugin Bugs-1763986 ] AntFarm jedit-dev SourceForge.net 2. 2007-07-30 [ jEdit-devel ] [ jedit-Plugin Bugs-1763986 ] AntFarm jedit-dev SourceForge.net 3. 2007-07-30 [ jEdit-devel ] [ jedit-Plugin Bugs-1763724 ] Project jedit-dev SourceForge.net 4. 2007-07-30 [ jEdit-devel ] [ jedit-Plugin Bugs-1763724 ] Project jedit-dev SourceForge.net 5. 2007-07-30 [ jEdit-devel ] [ jedit-Plugin Bugs-1763724 ] Project jedit-dev SourceForge.net