public TopMarginRecord( RecordInputStream in ) {field_1_margin = in.readDouble();}

public TopMarginRecord ( RecordInputStream in ) { field_1_margin = in . readDouble ( ) ; }
public TopMarginRecord(RecordInputStream in1){field_1_margin = in1.ReadDouble();}
