Use constructor instead of setting individual fields

Required members may change.

Author: tautschnig

src/java_bytecode/java_bytecode_convert_class.cpp

@@ -261,14 +261,18 @@ void java_bytecode_convert_classt::add_array_types()
     // we have the base class, java.lang.Object, length and data
     // of appropriate type
     struct_type.set_tag(symbol_type.get_identifier());
-    struct_type.components().resize(3);
-    struct_type.components()[0].set_name("@java.lang.Object");
-    struct_type.components()[0].type()=symbol_typet("java::java.lang.Object");
-    struct_type.components()[1].set_name("length");
-    struct_type.components()[1].type()=java_int_type();
-    struct_type.components()[2].set_name("data");
-    struct_type.components()[2].type()=
-      pointer_typet(java_type_from_char(letters[i]));
+
+    struct_type.components().reserve(3);
+    struct_typet::componentt
+      comp0("@java.lang.Object", symbol_typet("java::java.lang.Object"));
+    struct_type.components().push_back(comp0);
+
+    struct_typet::componentt comp1("length", java_int_type());
+    struct_type.components().push_back(comp1);
+
+    struct_typet::componentt
+      comp2("data", pointer_typet(java_type_from_char(l)));
+    struct_type.components().push_back(comp2);
 
     symbolt symbol;
     symbol.name=symbol_type.get_identifier();