kpouer / jedit-plugin-highlight Goto Github PK

Greetings,
Just wanted to let you know how I managed to solve a critical fatal error when trying to run Highlight on a fresh install.
(And I find your plugin absolutely essential to be productive, if I could only run 1 plugin in jEdit overall, that would be Highlight.)

I installed and ran jEdit 5.6, installed Highlight 2.5, and kept getting the following error on trying to start the plugin:

Cannot start: java.lang.IndexOutOfBoundsException: Index 0 out of bounds for length 0
Try updating to a newer version of the plugin.

Reinstalling jEdit or the plugin didn't help.

After reading the detailed log (bless jEdit for the Activity Log), and reading the source code here on GitHub (bless you for keeping it open source), I discovered that the line String line = lines.get(0); was throwing this error, and empty highlights.ser was the culprit (the file was there, but it was 0 bytes).
I copied that file from my other machine, and the plugin runs like a charm now.

I highly suspect that even having one line like that in said file would be enough:

Highlight file v2

(To those who find this via web-search, the file to edit is /plugins/gatchan.highlight.HighlightPlugin/highlights.ser in your jEdit directory.)

A short trace is, in case you need it:

[error] PluginJAR:  at java.base/java.util.ArrayList.get(ArrayList.java:459)
[error] PluginJAR:  at gatchan.highlight.HighlightManagerTableModel.<init>(HighlightManagerTableModel.java:139)
[error] PluginJAR:  at gatchan.highlight.HighlightManagerTableModel.createInstance(HighlightManagerTableModel.java:101)
[error] PluginJAR:  at gatchan.highlight.HighlightPlugin.start(HighlightPlugin.java:77)
[error] PluginJAR:  at org.gjt.sp.jedit.PluginJAR.startPlugin(PluginJAR.java:1736)
[error] PluginJAR:  at org.gjt.sp.jedit.PluginJAR.activatePlugin(PluginJAR.java:956)

Hi Matthieu,
can you please retag and update https://sourceforge.net/p/jedit/plugin-central-submission/1068/ ?
Thanks