org.gjt.sp.jedit.textarea.DisplayManager.expandFold(int,boolean)