generalTypeCode t = new generalTypeCode(TCKind.tk_value_box);
GeneralTypeCode t = new GeneralTypeCode(TCKind.tk_value_box);
  public TypeCode create_value_box_tc(String id, String name,                                      TypeCode boxed_type                                     )  {    generalTypeCode t = new generalTypeCode(TCKind.tk_value_box);    t.setName(name);    t.setId(id);    t.setContentType(boxed_type);    return t;  }