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