/*
   * (non-Javadoc)
   *
   * @see org.eclipse.wst.server.ui.editor.ServerEditorSection#dispose()
   */
  @Override
  public void dispose() {
    if (server != null) server.removePropertyChangeListener(serverListener);

    super.dispose();
  }