O JDT estende o conceito do workbench do histórico local de três maneiras:
Nota: Arquivos e elementos Java, como tipos e seus membros, são alterados com o tempo. Um "instantâneo" de como eram em um exato momento (conforme salvo no histórico local) é chamado de edição.
JDT (Ferramentas de Desenvolvimento Java)
Exibições Java
Utilizando o editor Java
Substituindo um Elemento Java por uma Edição do
Histórico Local
Restaurando um Elemento Excluído do Workbench