In de JDT-workbench navigeren