Using the Local History

The JDT extends the workbench concept of local history in three ways: