fun put_int(key: JavaString, value: Int): NativeSharedPreferencesEditor in "Java" `{
		return self.putInt(key, (int)value);
	`}