public NumberFormatIndexRecord(RecordInputStream in) {field_1_formatIndex = in.readShort();}

public NumberFormatIndexRecord ( RecordInputStream in ) { field_1_formatIndex = in . readShort ( ) ; }
public NumberFormatIndexRecord(RecordInputStream in1){field_1_formatIndex = in1.ReadShort();}
