--- modules/org.eclipse.jdt.core/src/org/eclipse/core/internal/resources/ProjectPreferences.java.sav8 2005-05-19 15:39:00.000000000 +0200 +++ modules/org.eclipse.jdt.core/src/org/eclipse/core/internal/resources/ProjectPreferences.java 2007-11-06 14:11:52.000000000 +0100 @@ -14,7 +14,10 @@ import java.util.*; import org.eclipse.core.internal.preferences.EclipsePreferences; import org.eclipse.core.internal.preferences.ExportedPreferences; -import org.eclipse.core.internal.utils.*; +//import org.eclipse.core.internal.utils.*; +import org.eclipse.core.internal.utils.Assert; +import org.eclipse.core.internal.utils.Messages; +import org.eclipse.core.internal.utils.Policy; import org.eclipse.core.resources.*; import org.eclipse.core.runtime.*; import org.eclipse.core.runtime.jobs.ISchedulingRule; @@ -509,7 +512,7 @@ preferencesChanged(file.getProject()); } - private synchronized void removeNode(String path) { + public synchronized void removeNode(String path) { if (children != null) { if (children.remove(path) != null) makeDirty();