/* * (non-Javadoc) * * @see org.eclipse.ui.part.IPage#dispose() */ public void dispose() { if (fPageBook != null && !fPageBook.isDisposed()) fPageBook.dispose(); fPageBook = null; fDisposed = true; }