Remove default shortcuts

Automatically removed on every save by jEdit.