fun (key: JavaString, def_value: Int): Int in "Java" `{
long return_value;
try {
return_value = self.getLong(key, def_value);
} catch (ClassCastException e) {
return def_value;
}
return (int) return_value;
`}
lib/android/shared_preferences/shared_preferences_api10.nit:84,2--93,3