org.gjt.sp.jedit.View.handleEditPaneUpdate(EditPaneUpdate)
org.gjt.sp.jedit.View.closeDuplicateBuffers(EditPaneUpdate)