1. 2000-08-23 [ jEdit-devel ] [Bug #108573] buggy JVM can lead to d jedit-dev noreply 2. 2000-06-29 Re: [ jEdit-devel ] [Bug #108573] buggy JVM can lead jedit-dev Slava Pestov 3. 2000-06-29 [ jEdit-devel ] [Bug #108573] buggy JVM can lead to d jedit-dev noreply