JDT は、ローカル・ヒストリーのワークベンチでの概念を次の 3 つの方法で拡張しています。
注: ファイルと型およびメンバーのような Java エレメントを、特定時点で変更します。 特定時点での「スナップショット」のような (ローカル・ヒストリーに保管されたもの) を版と呼びます。
Java エディターの使用
Java エレメントをローカル・ヒストリー版で置き換え
Java エレメントをローカル・ヒストリー版と比較
削除されたワークベンチ・エレメントの復元