O JDT estende o conceito do workbench de um 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 determinado ponto no tempo (conforme salvos 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
Comparando um Elemento Java com uma Edição de Histórico Local
Restaurando um Elemento Excluído do Workbench