props.getProperty uses a String for defaultValue and we need the defaults to be e.g. Integer.MAX_VALUE, so it's about as much checking and fiddling either way.