/** @see org.eclipse.ui.part.IPage#dispose() */
public void dispose() {
if (splitter != null) splitter.setExternalViewer(null);
super.dispose();
}
/** @see org.eclipse.ui.part.IPage#createControl(org.eclipse.swt.widgets.Composite) */
public void createControl(Composite parent) {
super.createControl(parent);
if (splitter != null) splitter.setExternalViewer(viewer);
}