@Nullable fun getDefaultInteger(key: String): Int? (source)
Get a default value from this configuration as a integer.
key - A configuration key (e.g. "server.address.port").
InvalidConfigurationPropertyTypeException - If the default value is not an integer.
Return
The value, or null if no default was available.