Property definitions

android $ NativeSharedPreferences :: get_float
	fun get_float(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