public static void setGroupedMavenHome(ProjectGroup grp, File path) { File oldValue = getEffectiveMavenHome(grp); File defValue = getMavenHome(); if (oldValue.equals(path) || path == null && oldValue.equals(defValue)) { //no change happened, prevent resetting the embedders return; } Preferences prefs = grp.preferencesForPackage(EmbedderFactory.class); if (path == null || path.equals(defValue)) { prefs.remove(PROP_COMMANDLINE_PATH); } else { prefs.put(PROP_COMMANDLINE_PATH, FileUtil.normalizeFile(path).getAbsolutePath()); } resetCachedEmbedders(); }
public static void setMavenHome(File path) { File oldValue = getMavenHome(); File defValue = getDefaultMavenHome(); if (oldValue.equals(path) || path == null && oldValue.equals(defValue)) { //no change happened, prevent resetting the embedders return; } if (path == null || path.equals(defValue)) { getPreferences().remove(PROP_COMMANDLINE_PATH); } else { getPreferences().put(PROP_COMMANDLINE_PATH, FileUtil.normalizeFile(path).getAbsolutePath()); } resetCachedEmbedders(); }