title: Shortcut key to restart server in Eclipse
body: <p>So <kbd>Ctrl</kbd>/<kbd>Cmd</kbd> + <kbd>F11</kbd> starts the server, but is there a key to restart the server? I'm developing using app engine and GWT if that makes any difference (I suspect not).</p>