Le JDT étend le concept d'historique local du plan de travail de trois manières :
Remarque : Les fichiers et les éléments Java, tels que les types et leurs membres, varient avec le temps. Un "instantané" de leur état à un instant T (sauvegardé dans l'historique local) est appelé édition.
![]()
Outils de développement Java (JDT)
Vues Java
![]()
Utilisation de l'éditeur Java
Remplacement d'un élément Java par une édition de l'historique local
Restauration d'un élément supprimé dans le plan de travail
![]()