JDT erweitert das Workbench-Konzept für das lokale Protokoll in dreierlei Hinsicht:
Hinweis: Dateien und Java-Elemente wie Typen und deren Member ändern sich im Lauf der Zeit. Eine Momentaufnahme, die deren Aussehen zu einem bestimmten Zeitpunkt (also die im lokalen Protokoll gespeicherte Form) wiedergibt, wird als Edition bezeichnet.
Java Development Tools (JDT)
Java-Sichten
Java-Element durch Edition aus lokalem Protokoll ersetzen
Java-Element mit Edition im lokalen Protokoll vergleichen
Gelöschtes Workbench-Element wiederherstellen