buffer.save(jEdit.getView(view.getUID()),path);
SwingUtilities.invokeLater(new Runnable() { public void run() { buffer.save(RemoteEditorImpl.getLocalView(view), path); } });
	public void save(RemoteView view, String path)		throws RemoteException	{		buffer.save(jEdit.getView(view.getUID()),path);	}