### Eclipse Workspace Patch 1.0 #P org.jbpm.gd.jpdl Index: src/org/jbpm/gd/jpdl/prefs/Jbpm3PreferencesManager.java =================================================================== --- src/org/jbpm/gd/jpdl/prefs/Jbpm3PreferencesManager.java (revision 27576) +++ src/org/jbpm/gd/jpdl/prefs/Jbpm3PreferencesManager.java (working copy) @@ -31,20 +31,11 @@ public static final Jbpm3PreferencesManager INSTANCE = new Jbpm3PreferencesManager(); - protected Jbpm3PreferencesManager() { - super(); - initialize(); - } - - void initialize() { - initializeInstallations(); - initializePreferredJbpmName(); - } - - private void initializeInstallations() { + protected void initialize() { File installationsFile = Plugin.getDefault().getStateLocation().append("jbpm-installations.xml").toFile(); if (installationsFile.exists()) { + initializePreferredJbpmName(); loadInstallations(installationsFile); saveInstallations(); loadInstallations(); Index: src/org/jbpm/gd/jpdl/prefs/Initializer.java =================================================================== --- src/org/jbpm/gd/jpdl/prefs/Initializer.java (revision 27576) +++ src/org/jbpm/gd/jpdl/prefs/Initializer.java (working copy) @@ -1,8 +1,8 @@ package org.jbpm.gd.jpdl.prefs; import org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer; -import org.jbpm.gd.jpdl.Plugin; import org.eclipse.jface.preference.IPreferenceStore; +import org.jbpm.gd.jpdl.Plugin; public class Initializer extends AbstractPreferenceInitializer implements PreferencesConstants { #P org.jboss.tools.jbpm.common Index: src/org/jboss/tools/jbpm/preferences/PreferencesManager.java =================================================================== --- src/org/jboss/tools/jbpm/preferences/PreferencesManager.java (revision 27576) +++ src/org/jboss/tools/jbpm/preferences/PreferencesManager.java (working copy) @@ -53,6 +53,10 @@ } protected PreferencesManager() { + initialize(); + } + + protected void initialize() { initializeInstallations(); } Index: src/org/jboss/tools/jbpm/preferences/JbpmLocationsPage.java =================================================================== --- src/org/jboss/tools/jbpm/preferences/JbpmLocationsPage.java (revision 27576) +++ src/org/jboss/tools/jbpm/preferences/JbpmLocationsPage.java (working copy) @@ -183,7 +183,10 @@ } private void checkItemToCheck(TableViewer viewer) { - String name = Activator.getDefault().getPreferenceStore().getString(Constants.JBPM_NAME); +// String name = Activator.getDefault().getPreferenceStore().getString(Constants.JBPM_NAME); + PreferencesManager inputManager = + (PreferencesManager)tableViewer.getInput(); + String name = inputManager.getPreferredJbpmName(); if (name != null) { TableItem tableItem = getItemToCheck(viewer, name); if (tableItem != null) { @@ -296,7 +299,8 @@ if (item != null) { name = item.getText(0); } - Activator.getDefault().getPreferenceStore().setValue(Constants.JBPM_NAME, name); +// Activator.getDefault().getPreferenceStore().setValue(Constants.JBPM_NAME, name); + inputManager.setPreferredJbpmName(name); return true; } @@ -309,9 +313,10 @@ } public void performDefaults() { - Activator.getDefault().getPreferenceStore().setToDefault(Constants.JBPM_NAME); +// Activator.getDefault().getPreferenceStore().setToDefault(Constants.JBPM_NAME); PreferencesManager inputManager = (PreferencesManager)tableViewer.getInput(); + inputManager.setPreferredJbpmName(null); inputManager.getJbpmInstallationMap().clear(); tableViewer.setInput(inputManager); checkItemToCheck(tableViewer);