public void handleEvent(Event event) {
event.doit = false;
close();
}
});
hotKeyManager = new HotKeyManager(getDisplay());
initGUI();
applyWidgetActionListeners();
defineHotkeys();
hotKeyManager.registerHotKey('/', SWT.SHIFT|SWT.CTRL, new Runnable() {