Just throwing a wild idea out there, if you ever decide to write a non-jvm based port of jEdit, possibly with support for the older plug-ins, I think it would b

Just throwing a wild idea out there, if you ever decide to write a non-jvm based port of jEdit, possibly with support for the older plug-ins, I think it would become the best editor.