1. 2019-05-29 Re: [ jEdit-devel ] Oracle Licensing jedit-dev Michael H 2. 2019-05-09 Re: [ jEdit-devel ] Oracle Licensing jedit-dev Jesse Pavel 3. 2019-05-08 Re: [ jEdit-devel ] Oracle Licensing jedit-dev Michael H 4. 2019-05-08 Re: [ jEdit-devel ] Oracle Licensing jedit-dev Makarius 5. 2019-05-08 Re: [ jEdit-devel ] Oracle Licensing jedit-dev Jesse Pavel 6. 2019-05-08 [ jEdit-devel ] Oracle Licensing jedit-dev Michael H