PreferencesSpy shows changes in the eclipse preferences