The JDT extends the workbench concept of a local history in three ways:
Note: Files and Java elements such as types and their members change in time. A 'snapshot' of what they look like a point in time (as saved in the local
history) is called an edition.
Java development tools (JDT)
Replacing a Java element with a local history edition
Comparing a Java element with a local history edition
Restoring a deleted workbench element