I wanted to try the Finish Him! plugin, but found that one of my user edit modes was replaced by the default version. Upon further investigation I found that the content of the catalog file in the user edit modes directory was replaced by:
----
<?xml version="1.0"?>
<!DOCTYPE MODES SYSTEM "catalog.dtd">
<MODES>
<MODE NAME="scala" FILE="scala.xml" FILE_NAME_GLOB="*.scala" />
</MODES>
----
That's obviously not a very user-friendly behavior and should be changed to integrate the scala edit mode definition into the existing catalog file.
looks like user sickill has not joined the actual jedit project. I 'm not sure if he sees this, but I can't assign it to him.
I will e-mail him now.