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