fun get_string(key: JavaString): JavaString in "Java" `{
		return self.getString(key);
	`}