ErrorList 2.4.0

Hi folks,

I'm using Beanshell scripts to fill error list. But for some time (I think years) now, my items are
apparently unsorted. Imagine this script:

DefaultErrorSource errsrc = new
DefaultErrorSource("DummySource");

ErrorSource.registerErrorSource(errsrc);

errsrc.addError(new
DefaultErrorSource.DefaultError(errsrc, ErrorSource.ERROR,
"dummy", 4, 0, 0, "Error message 1"));

errsrc.addError(new
DefaultErrorSource.DefaultError(errsrc, ErrorSource.ERROR,
"dummy", 1, 0, 0, "Error message 4"));

errsrc.addError(new
DefaultErrorSource.DefaultError(errsrc, ErrorSource.ERROR,
"dummy", 3, 0, 0, "Error message 2"));

errsrc.addError(new
DefaultErrorSource.DefaultError(errsrc, ErrorSource.ERROR,
"dummy", 12, 0, 0, "Error message 3"));

After running, error list looks has these
items:

4:Error message 2

5:Error message 1

2:Error message 4

13:Error message 3

The items are neither sorted in the order
of adding nor by line nor according to message text. BTW, order
is always the same.

So, my question is: Is there anything I
can do in my script to determine target item order?

Cheers,

Robert

-- 
-----------------------------------------------
jEdit Developers' List
[email protected]
https://lists.sourceforge.net/lists/listinfo/jedit-devel