org.gjt.sp.jedit.textarea.TextArea.addExplicitFold(int,int,int,int)