# Returns the `Int` value corresponding the given key or `def_value` if none
# or if the value isn't of correct type
# Calls `getLong(key, value)` java method
# Nit `Int` is equivalent to Java `long` so that no integer overflow will occur
fun long(key: String, def_value: Int): Int
do
sys.jni_env.push_local_frame(2)
var return_value = shared_preferences.get_long(key.to_java_string, def_value)
sys.jni_env.pop_local_frame
return return_value
end
lib/android/shared_preferences/shared_preferences_api10.nit:254,2--264,4