org.eclipse.jpt.jpa.ui.navigator