public PrecisionRecord(RecordInputStream in) {field_1_precision = in.readShort();}

public PrecisionRecord ( RecordInputStream in ) { field_1_precision = in . readShort ( ) ; }
public PrecisionRecord(RecordInputStream in1){field_1_precision = in1.ReadShort();}
