Community
Participate
Working Groups
build 3.1 RC3 We can do some minor performance improvements for removing a preference key. Will attach a patch file.
Created attachment 23732 [details] patch for EclipsePreferences.java v1.76
Fix released to HEAD.