fun (key: JavaString, def_value: Float): Float in "Java" `{
float return_value;
try {
return_value = self.getFloat(key, (float) def_value);
} catch (ClassCastException e) {
return def_value;
}
return return_value;
`}
lib/android/shared_preferences/shared_preferences_api10.nit:64,2--73,3