1. 2007-06-28 [ jEdit-devel ] [ jedit-Plugin Bugs-1744627 ] SideKic jedit-dev SourceForge.net 2. 2007-06-28 [ jEdit-devel ] [ jedit-Plugin Bugs-1744627 ] SideKic jedit-dev SourceForge.net 3. 2007-06-28 [ jEdit-devel ] [ jedit-Plugin Bugs-1744627 ] SideKic jedit-dev SourceForge.net 4. 2007-06-28 [ jEdit-devel ] [ jedit-Plugin Bugs-1744627 ] SideKic jedit-dev SourceForge.net