isn't this `java.lang.Integer.getInteger(name, default)`?