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