#3994 ConcurrentModificationException in PropertyManager
Whenever I reload a plugin using the Activator plugin, I get 6 of these:
4:37:36 PM [jEdit Worker #5] [error] TaskManager$MyTask: java.util.ConcurrentModificationException
4:37:36 PM [jEdit Worker #5] [error] TaskManager$MyTask: at java.util.LinkedList$ListItr.checkForComodification(LinkedList.java:966)
4:37:36 PM [jEdit Worker #5] [error] TaskManager$MyTask: at java.util.LinkedList$ListItr.next(LinkedList.java:888)
4:37:36 PM [jEdit Worker #5] [error] TaskManager$MyTask: at org.gjt.sp.jedit.PropertyManager.getDefaultProperty(PropertyManager.java:213)
4:37:36 PM [jEdit Worker #5] [error] TaskManager$MyTask: at org.gjt.sp.jedit.PropertyManager.getProperty(PropertyManager.java:145)
4:37:36 PM [jEdit Worker #5] [error] TaskManager$MyTask: at org.gjt.sp.jedit.jEdit.getProperty(jEdit.java:675)
4:37:36 PM [jEdit Worker #5] [error] TaskManager$MyTask: at org.gjt.sp.jedit.help.HelpTOCPanel$PluginCompare.compare(HelpTOCPanel.java:483)
4:37:36 PM [jEdit Worker #5] [error] TaskManager$MyTask: at org.gjt.sp.jedit.help.HelpTOCPanel$PluginCompare.compare(HelpTOCPanel.java:478)
4:37:36 PM [jEdit Worker #5] [error] TaskManager$MyTask: at java.util.TimSort.mergeHi(TimSort.java:837)
4:37:36 PM [jEdit Worker #5] [error] TaskManager$MyTask: at java.util.TimSort.mergeAt(TimSort.java:516)
4:37:36 PM [jEdit Worker #5] [error] TaskManager$MyTask: at java.util.TimSort.mergeForceCollapse(TimSort.java:457)
4:37:36 PM [jEdit Worker #5] [error] TaskManager$MyTask: at java.util.TimSort.sort(TimSort.java:254)
4:37:36 PM [jEdit Worker #5] [error] TaskManager$MyTask: at java.util.Arrays.sort(Arrays.java:1438)
4:37:36 PM [jEdit Worker #5] [error] TaskManager$MyTask: at org.gjt.sp.jedit.help.HelpTOCPanel.createTOC(HelpTOCPanel.java:150)
4:37:36 PM [jEdit Worker #5] [error] TaskManager$MyTask: at org.gjt.sp.jedit.help.HelpTOCPanel.access$200(HelpTOCPanel.java:49)
4:37:36 PM [jEdit Worker #5] [error] TaskManager$MyTask: at org.gjt.sp.jedit.help.HelpTOCPanel$2.run(HelpTOCPanel.java:112)
4:37:36 PM [jEdit Worker #5] [error] TaskManager$MyTask: at org.gjt.sp.util.TaskManager$MyTask._run(TaskManager.java:258)
4:37:36 PM [jEdit Worker #5] [error] TaskManager$MyTask: at org.gjt.sp.util.Task.run(Task.java:65)
4:37:36 PM [jEdit Worker #5] [error] TaskManager$MyTask: at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142)
4:37:36 PM [jEdit Worker #5] [error] TaskManager$MyTask: at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617)
4:37:36 PM [jEdit Worker #5] [error] TaskManager$MyTask: at java.lang.Thread.run(Thread.java:745)
Fixed in revision 24389.