Utility code related to code from org.eclipse.ui.