1. 2004-06-29 Re: [ jEdit-users ] bug: instant removal of plugins jedit-use Chris Petersen 2. 2004-06-29 Re: [ jEdit-users ] bug: instant removal of plugins jedit-use Justin Dieters 3. 2004-06-29 Re: [ jEdit-users ] bug: instant removal of plugins jedit-use Brian Hawkins 4. 2004-06-29 [ jEdit-users ] bug: instant removal of plugins jedit-use Chris Petersen