fixing the Eclipse shortcut