protected void disposeGui() {
   if (component != null) component.dispose();
   component = null;
   if (sash != null && !sash.isDisposed()) sash.dispose();
   sash = null;
   super.disposeGui();
 }