docs: public static int getPropertyAsInt(String name)
              throws MissingPropertyException, BadPropertyException {
          if (PropertiesManager.props == null) loadProps();
          try {
              return Integer.parseInt(getProperty(name));
          } catch (NumberFormatException nfe) {
              throw new BadPropertyException(name, getProperty(name), "int");
          }
      }