docs: static java.util.logging.Level getPriorityForLevel(Level level) {
          switch  (level) {
              case DEBUG:
                  return java.util.logging.Level.FINEST;
              case ERROR:
                  return java.util.logging.Level.SEVERE;
              case FATAL:
                  return java.util.logging.Level.SEVERE;
              case INFO:
                  return java.util.logging.Level.INFO;
              case TRACE:
                  return java.util.logging.Level.FINER;
              case WARN:
                  return java.util.logging.Level.WARNING;
              default:
                  return null;
          }
      }