private static FixedSetPreference<OperationType> createPref() {
PreferenceFactory factory = ApplicationConfiguration.getPreferenceFactory();
String[] path = new String[] { OperationPreferencesPage.PATH };
String key = "OperationType";
return factory.newFixedSetPreference(path, key, OperationType.getSelectableTypes(), OperationType.getDefaultType(), "name");
}
private DefaultOperationTypePreference() { /**/ }
}