added eclipse hotkeys for convenience