/*
   * (non-Javadoc)
   *
   * @see org.eclipse.ui.editors.text.DefaultEncodingSupport#dispose()
   */
  public void dispose() {
    super.dispose();

    if (fSupportDelegate instanceof DefaultEncodingSupport) {
      ((DefaultEncodingSupport) fSupportDelegate).dispose();
    }
    fSupportDelegate = null;
    fStatusTextEditor = null;
  }
  void reinitialize(String[] configurationPoints) {
    if (fSupportDelegate instanceof DefaultEncodingSupport) {
      ((DefaultEncodingSupport) fSupportDelegate).dispose();
    }
    fSupportDelegate = null;

    fConfigurationPoints = configurationPoints;

    IEncodingSupport encodingSupportDelegate = getEncodingSupportDelegate();
    if (encodingSupportDelegate instanceof DefaultEncodingSupport) {
      ((DefaultEncodingSupport) encodingSupportDelegate).initialize(fStatusTextEditor);
    }
  }