キーボード・ショートカットの変更
「ツール」
「プリファレンス」
「ショートカット・キー」
を選択すると、JDeveloperコマンドの様々なキーボード・ショートカットを確認および変更できます。