docs: public final void setActiveTrace(String activeNames,
                                       int traceLevel)
                      throws java.io.IOException {
          super.setActiveTrace(activeNames, traceLevel);
          applyActiveTrace();
      }