1. 2019-05-06 [ jEdit-devel ] [jedit:bugs] Re: #4072 Java 10 suppor jedit-dev Dale Anson via jEd 2. 2019-05-06 [ jEdit-devel ] [jedit:bugs] Re: #4072 Java 10 suppor jedit-dev geniosity via jEdi 3. 2019-05-06 Re: [ jEdit-devel ] [jedit:bugs] Re: #4072 Java 10 su jedit-dev James 4. 2019-05-06 Re: [ jEdit-devel ] [jedit:bugs] Re: #4072 Java 10 su jedit-dev Dale Anson 5. 2019-05-06 [ jEdit-devel ] [jedit:bugs] Re: #4072 Java 10 suppor jedit-dev geniosity via jEdi