I think we should use the newer API IEclipsePreferences as it is more powerful [1], AFAIK this was done in some places, obviously this wasn't done everywhere. 

[1] http://dev.eclipse.org/newslists/news.eclipse.platform/msg42275.html