1. 2017-06-16 Re: [ jEdit-users ] Groovy plugin breaks JavaScriptSh jedit-use Zigmantas Kryzius 2. 2017-06-16 Re: [ jEdit-users ] Groovy plugin breaks JavaScriptSh jedit-use Zigmantas Kryzius 3. 2017-06-15 Re: [ jEdit-users ] Groovy plugin breaks JavaScriptSh jedit-use Alan Ezust 4. 2017-06-15 [ jEdit-users ] Groovy plugin breaks JavaScriptShell jedit-use Zigmantas Kryzius