org.gjt.sp.jedit.EditPane.setBuffer(Buffer,boolean)
org.gjt.sp.jedit.gui.BufferSwitcher.updateBufferList()