Navigating the JDT Workbench