public DefaultColWidthRecord() {field_1_col_width = DEFAULT_COLUMN_WIDTH;}

public DefaultColWidthRecord ( ) { field_1_col_width = DEFAULT_COLUMN_WIDTH ; }
public DefaultColWidthRecord(){field_1_col_width = DEFAULT_COLUMN_WIDTH;}
