4.0.0 org.eclipse.ui.navigator resources Navigator Workbench Components 3.3.1-M20070831-2000 Eclipse Public License - v 1.0 http://www.eclipse.org/org/documents/epl-v10.html org.eclipse.ui ide [0,4.0.0) org.eclipse.core resources [0,4.0.0) org.eclipse jface [0,4.0.0) org.eclipse ui [0,4.0.0) org.eclipse.ui navigator [0,4.0.0) org.eclipse.core runtime [0,4.0.0) org.eclipse.ui.views.properties tabbed [0,4.0.0) org.eclipse.ui.workbench texteditor [0,4.0.0)