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