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