PreferencePage.ok() should also be deprecated