異なったキー・バインディング間で選択することができます。
「ウィンドウ > 設定 > ワークベンチ > エディター」を選択します。
「キー・バインディング」リスト・ボックス内のキー・バインディングの 1 つを選択します。
ワークベンチ、Java 開発ツール、および「デバッガー」用のキーボード・ショートカット キーボードを使用するユーザー・インターフェースのナビゲート