fun minimum_height=(val: Int) in "Java" `{ self.setMinimumHeight((int)val); `}