/** Called when the View is to be disposed. */
public void dispose() {
instance.dispose();
instance = null;
super.dispose();
}
/*
* (non-Javadoc)
*
* @see org.eclipse.ui.part.WorkbenchPart#setFocus()
*/
public void setFocus() {
instance.setFocus();
}
