1. 2019-05-29 [2] [ jEdit-devel ] [jedit:plugin-central-submission] #1044 Lo jedit-devel Makarius via jEd 2. 2019-05-29 [5] Re: [ jEdit-devel ] plugin for macOS jedit-devel Alan Ezust 3. 2019-05-29 [6] [ jEdit-devel ] Oracle Licensing jedit-devel Michael H 4. 2019-05-29 [3] [ jEdit-devel ] Changing L&F in OpenJDK 11 jedit-devel Dale Anson 5. 2019-05-28 [1] [ jEdit-devel ] [jedit:bugs] #4082 Windows 10: NPE in sun. jedit-devel Makarius via jEd 6. 2019-05-28 [4] Re: [ jEdit-devel ] Java 11 jedit-devel Alan Ezust 7. 2019-05-28 [7] [ jEdit-devel ] Switch to JavaFX jedit-devel Alan Ezust 8. 2019-05-24 [1] [ jEdit-devel ] [jedit:plugin-bugs] #1843 PHP 5.4+ short a jedit-devel Mike McCallister 9. 2019-05-15 [1] [ jEdit-devel ] jenkins gave me watchbog jedit-devel Alan Ezust 10. 2019-05-14 [1] [ jEdit-devel ] [jedit:bugs] #4081 File Browser's collapse jedit-devel SAI SUBASH MALLI 11. 2019-05-10 [1] [ jEdit-devel ] [jedit:plugin-bugs] #1888 PHPParser - bina jedit-devel James Booth via 12. 2019-05-08 [1] [ jEdit-devel ] [jedit:patches] #622 Update of Drawj2d edi jedit-devel A. Vontobel via 13. 2019-05-06 [5] [ jEdit-devel ] [jedit:bugs] Re: #4072 Java 10 support in jedit-devel Dale Anson via j 14. 2019-05-06 [1] Re: [ jEdit-devel ] [jedit:bugs] #4072 Java 10 support in jedit-devel James 15. 2019-05-02 [3] [ jEdit-devel ] Revisiting Moving to Git (NOT GitHub) jedit-devel Eric Berry 16. 2019-05-01 [1] [ jEdit-devel ] Plugin Releases for May, 2019 jedit-devel Eric Berry