Community
Participate
Working Groups
N20040318 Some JDT Core tests failed in this nightly build because Preferences.defaultPropertyNames() doesn't include the properties that have the default String value. Code in PreferenceForwarder.setDefault(String, String) looks like it forget the name of the property if its value is "".
See bug 51309. The spec for Preferences.defaultPropertyNames says that it doesn't return names for defaults which are the same as the default-default value. The implementation was incorrectly storing those defaults. Marking as invalid.
Note that if most people agree, we could probably look into changing the spec to match the behaviour.