recordTypeCode r = new recordTypeCode(TCKind.tk_value);
RecordTypeCode r = new RecordTypeCode(TCKind.tk_value);
  public TypeCode create_value_tc(String id, String name, short type_modifier,                                  TypeCode concrete_base, ValueMember[] members                                 )  {    recordTypeCode r = new recordTypeCode(TCKind.tk_value);    r.setId(id);    r.setName(name);    r.setTypeModifier(type_modifier);    r.setConcreteBase_type(concrete_base);    for (int i = 0; i < members.length; i++)      {        r.add(members [ i ]);      }    return r;  }