if(!path.equals(buffer.getPath())) buffer.getDocumentProperties().remove(BACKED_UP_PROPERTY);
	public boolean save(View view, Buffer buffer, String path)	{		File file = buffer.getFile();		// Check that we can actually write to the file		if((file.exists() && !file.canWrite())			|| (!file.exists() && !new File(file.getParent()).canWrite()))		{			String[] args = { path };			GUIUtilities.error(view,"no-write",args);			return false;		}		backup(buffer,file);		return super.save(view,buffer,path);	}