bibliothek.extension.gui.dock.preference.editor
Classes 
ChoiceEditor
KeyStrokeEditor
ModifierMaskEditor