public DefaultRowHeightRecord(RecordInputStream in) {field_1_option_flags = in.readShort();field_2_row_height   = in.readShort();}

public DefaultRowHeightRecord(RecordInputStream in1){field_1_option_flags = in1.ReadShort();field_2_row_height = in1.ReadShort();}
