org.gjt.sp.jedit.buffer.JEditBuffer.getUndoManager()
org.gjt.sp.jedit.buffer.JEditBuffer.setDirty(boolean)
org.gjt.sp.jedit.bufferio.BufferSaveRequest.run()
org.gjt.sp.jedit.options.EditingOptionPane._init()
org.gjt.sp.jedit.options.EditingOptionPane._save()
org.gjt.sp.jedit.options.GeneralOptionPane._init()
org.gjt.sp.jedit.options.GeneralOptionPane._save()
org.gjt.sp.jedit.buffer.UndoManager.bufferSaved()
org.gjt.sp.jedit.buffer.UndoManager.resetClearDirty()