/org.eclipse.ui.console/src/org/eclipse/ui/internal/