Mariaged HotkeyEditorFrame and JHotkeyServer. Now hotkeys can be edited in the gui-editor