JDT amplía el concepto de historial local del entorno de trabajo de tres formas:
Nota: los archivos y elementos Java, como por ejemplo tipos y sus miembros, cambian con el tiempo. Una "instantánea" de su aspecto en un momento determinado (tal como se ha guardado en el historial local) se denomina edición.
![]()
Herramientas de desarrollo Java (JDT)
Vistas Java
![]()
Utilizar el editor Java
Sustituir un elemento Java por una edición del historial local
Restaurar un elemento suprimido del entorno de trabajo
![]()