# Returns the `Int` value corresponding the given key or `def_value` if none
# or if the value isn't of correct type
# Be aware of possible `def_value` integer overflow as the Nit `Int` corresponds
# to Java `long`
fun int(key: String, def_value: Int): Int
do
sys.jni_env.push_local_frame(2)
var return_value = shared_preferences.get_int(key.to_java_string, def_value)
sys.jni_env.pop_local_frame
return return_value
end
lib/android/shared_preferences/shared_preferences_api10.nit:242,2--252,4