Using the Local History
    
    
      The JDT extends the workbench concept of a local history in three ways:
    
    
      - A file can be replaced with an edition from the local history in the
      Package Explorer view.
      
- The JDT allows you to compare and/or replace individual Java elements
      (types and their members) with editions from the local history.
      
- The JDT allows you to restore Java elements (and files) deleted from
      the workbench that have been kept in the local history.
      
      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)
      Java views
    
      Replacing a Java element with a local history
      edition
      Comparing a Java element with a local history
      edition
      Restoring a deleted workbench element
    
      Package
      Explorer