1. 2002-11-23 [ jEdit-devel ] [ jedit-Bugs-611660 ] Sessions 0.7.3 jedit-dev noreply 2. 2002-09-19 [ jEdit-devel ] [ jedit-Bugs-611660 ] Sessions 0.7.3 jedit-dev noreply 3. 2002-09-19 [ jEdit-devel ] [ jedit-Bugs-611660 ] Sessions 0.7.3 jedit-dev noreply