Description Bernd Fuhrmann 2014-04-03 10:45:39 EDT

I created a working copy of some non-empty preferences. Then I removed some key from the working copy. However, that key is still mentioned in the result of keys():

IEclipsePreferences somePrefs;
somePrefs.put("something", "whatever");// just something, so it's not empty
workingCopyManager = new WorkingCopyManager();
workingCopy = workingCopyManager.getWorkingCopy(somePrefs);

workingCopy.remote("something");

for (String s:workingCopy.keys()) {System.out.println(s);}

"something" will still be printed here.

The cause for this seems to be this one:
org.eclipse.ui.internal.preferences.WorkingCopy.Preferences.keys
it doesn't reduce it's result be the keys set to null.