org.infai.emo.matcher.editor.preferences
Classes
GraphicalPreferencesPage
PrefernceInitializer
PrimaryPreferencesPage