if (save || isModified) {
if (save && isModified) {
	private static boolean setJavadocBaseLocation(IPath path, URL url, boolean save) {		boolean isModified;		if (url == null) {			Object old= getJavaDocLocations().remove(path);			isModified= (old != null);		} else {			URL old= (URL) getJavaDocLocations().put(path, url);			isModified= (old == null || !url.toExternalForm().equals(old.toExternalForm()));		}		if (save || isModified) {			try {				storeLocations();			} catch (CoreException e) {				JavaPlugin.log(e);			}		}		return isModified;	}