fun get_char_sequence(key: JavaString): JavaString in "Java" `{
		return (String) self.getCharSequence(key);
	`}