Il JDT estende il concetto di workbench di cronologia locale in tre modi:
Nota: i file e gli elementi Java come tipi e relativi membri vengono modificati in tempo reale. Uno "snapshot" del loro aspetto in un dato momento (quando sono salvati nella cronologia locale) viene denominato edizione.
![]()
Strumenti di sviluppo Java (JDT)
Visualizzazioni Java
![]()
Utilizzo dell'editor Java
Sostituzione di un elemento Java con un'edizione della cronologia locale
Ripristino di un elemento del workbench cancellato
![]()