/org.eclipse.ui.editors/src/org/eclipse/ui/editors/