@Override
      public void setDocFormattingEnabled(boolean formattingEnabled) {
        mySettings.ENABLE_JAVADOC_FORMATTING = formattingEnabled;
      }
@Override
      public void setDocFormattingEnabled(boolean formattingEnabled)