de.tub.citydb.api.plugin.extension.preferences
Interfaces 
Preferences
PreferencesExtension
Classes 
PreferencesEntry
Enums 
PreferencesEvent