public DefaultColWidthRecord(RecordInputStream in){field_1_col_width = in.readUShort();}

public DefaultColWidthRecord ( RecordInputStream in ) { field_1_col_width = in . readUShort ( ) ; }
public DefaultColWidthRecord(RecordInputStream in1){field_1_col_width = in1.ReadUShort();}
