lint.resetOptions();
IPreferencesService prefs = Platform.getPreferencesService();
for (Option o : Option.values()) {
String value = prefs.getString(JSLintPlugin.PLUGIN_ID, o.getLowerName(), null, null);
if (value != null) {
lint.addOption(o, value);
}
}
}
}