org.gjt.sp.jedit.gui.CloseDialog.CloseDialog(View) org.gjt.sp.jedit.jEdit.closeBuffer(View,Buffer) org.gjt.sp.jedit.Buffer.getPath(Boolean) org.gjt.sp.jedit.Buffer.toString() org.gjt.sp.jedit.MiscUtilities.abbreviate(String) org.gjt.sp.jedit.MiscUtilities.VarCompressor.VarCompressor() org.gjt.sp.jedit.MiscUtilities.VarCompressor.compress(String) org.gjt.sp.jedit.options.SaveBackupOptionPane._init() org.gjt.sp.jedit.options.SaveBackupOptionPane._save()