/*
   * (non-Javadoc)
   *
   * @see org.eclipse.ui.editors.text.DefaultEncodingSupport#getEncoding ()
   */
  public String getEncoding() {
    IEncodingSupport delegate = getEncodingSupportDelegate();
    if (delegate != null) {
      return delegate.getEncoding();
    }

    return super.getEncoding();
  }
  /*
   * (non-Javadoc)
   *
   * @see org.eclipse.ui.editors.text.DefaultEncodingSupport#setEncoding (java.lang.String, boolean)
   */
  protected void setEncoding(String encoding, boolean overwrite) {
    super.setEncoding(encoding, overwrite);

    IEncodingSupport delegate = getEncodingSupportDelegate();
    if (delegate != null && overwrite) {
      delegate.setEncoding(encoding);
    }
  }