code: public static Integer getInteger(String name, Integer def) {
          return getInteger(name, def, Level.CONFIG);
      }
docs: Determines the integer value of the system property with the
  specified name, or a default value.
  
  This behaves just like <code>Integer.getInteger(String,Integer)</code>, except that it
  also consults the <code>ServletContext</code>'s "init" parameters. If neither exist,
  return the default value.
  
  @param   name property name.
  @param   def   a default value.
  @return  the {@code Integer} value of the property.
  If the property is missing, return the default value.
  Result may be {@code null} only if the default value is {@code null}.