code: public static int getIntProperty(@Nonnull LogManager manager, @Nullable String name, int defaultValue) {
          if (name == null) {
              return defaultValue;
          }
          String val = manager.getProperty(name);
          if (val == null) {
              return defaultValue;
          }
          try {
              return Integer.parseInt(val.trim());
          } catch (Exception ex) {
              return defaultValue;
          }
      }
docs: Visible version of {@link java.util.logging.LogManager#getIntProperty(String, int)}.
  
  Method to get an integer property.
  
  If the property is not defined or cannot be parsed we return the given default value.