code: public void configureLogging(LoggingPreferences prefs) {
      if (prefs == null) {
        return;
      }
      if (prefs.getEnabledLogTypes().contains(LogType.SERVER)) {
        serverLogLevel = prefs.getLevel(LogType.SERVER);
      }
    }
docs: TODO(simons): Of course, this effects all loggers, not just the one for the session.