JeXt

jExt is a Java based editor. It is scriptable using Python (Jython). If you want a faster, lighter JedIt, jExt is what you want.

If jExt had folding like JedIt. I would switch to it!