1. 2015-04-25 [3] [ jEdit-devel ] [jedit:bugs] #3916 ArrayIndexOutOfBou jedit-dev Mirko 2. 2015-04-23 [4] [ jEdit-devel ] [jedit:plugin-feature-requests] #321 jedit-dev Thiemo Kellne 3. 2015-04-22 [3] [ jEdit-devel ] [jedit:plugin-bugs] #1816 SFTP fails jedit-dev Baldurien 4. 2015-04-22 [1] [ jEdit-devel ] [jedit:bugs] #3915 PluginManager Inco jedit-dev Devin Chollak 5. 2015-04-22 [1] [ jEdit-devel ] [jedit:bugs] #3914 Inconsistent JButt jedit-dev Devin Chollak 6. 2015-04-20 [1] [ jEdit-devel ] Java Insight jedit-dev Tim Blackler 7. 2015-04-17 [5] Re: [ jEdit-devel ] Building up jedit and plugins und jedit-dev Björn_Kautle 8. 2015-04-17 [2] Re: [ jEdit-devel ] help wanted: release manager jedit-dev Eric Berry 9. 2015-04-12 [1] [ jEdit-devel ] [jedit:plugin-central-submission] #97 jedit-dev Eric Le Lay 10. 2015-04-09 [2] [ jEdit-devel ] [jedit:bugs] #3912 Crashes with JDK9 jedit-dev will69 11. 2015-04-08 [1] [ jEdit-devel ] [jedit:patches] #553 Rust edit mode jedit-dev Jordan Miner 12. 2015-04-05 [2] [ jEdit-devel ] [jedit:bugs] #3913 beanshell do-while jedit-dev Matthieu Casa 13. 2015-04-04 [1] [ jEdit-devel ] [jedit:jeditlauncher-bugs] #46 jEdit jedit-dev Björn Kautle 14. 2015-04-04 [1] Re: [ jEdit-devel ] new HelpServer plugin jedit-dev Björn_Kautle 15. 2015-04-03 [1] Re: [ jEdit-devel ] jEdit's BeanShell, do-while loop jedit-dev Eric Le Lay 16. 2015-04-03 [1] [ jEdit-devel ] [jedit:patches] #550 Emit BUFFER_CLOS jedit-dev Eric Le Lay