org.gjt.sp.jedit.Buffer.setDirty(boolean)