public void save(RemoteView view, String path)
public void save(final RemoteView view, final String path)
	public void save(RemoteView view, String path)		throws RemoteException	{		buffer.save(jEdit.getView(view.getUID()),path);	}