JDT は、ローカル・ヒストリーのワークベンチでの概念を次の 3 つの方法で拡張しています。
注: ファイルや、型やメンバーなどの Java 要素はどこかの時点で変更されます。ある時点での、(ローカル・ヒストリーに保管された) これらの状態を示す「スナップショット」を版と呼びます。
Java 要素をローカル・ヒストリー版で置き換える
Java 要素とローカル・ヒストリー版の比較
削除されたワークベンチ要素の復元