code: Level getLevelProperty(String name, Level defaultValue) {
          String val = getProperty(name);
          if (val == null) {
              return defaultValue;
          }
          Level l = Level.findLevel(val.trim());
          return l != null ? l : defaultValue;
      }
docs: we return the given default value.