private static File getSettingsXml() { return new File(getEffectiveMavenHome(), "conf/settings.xml"); }
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(); }
/** * maven home (installation root) taken from various places (global settings, project group settings ,...) * @return * @since 2.32 */ public static @NonNull File getEffectiveMavenHome() { ProjectGroup grp = OpenProjects.getDefault().getActiveProjectGroup(); return getEffectiveMavenHome(grp); }