android :: NativeBundle :: get_int_with_def_value
fun get_int_with_def_value(key: JavaString, def_value: Int): Int in "Java" `{ return self.getInt(key, (int) def_value); `}