Tidied up the generic specalised class copying the base class visibility

Author: thk123

src/java_bytecode/generate_java_generic_type.cpp

@@ -106,7 +106,7 @@ symbolt generate_java_generic_typet::operator()(
 
   const java_specialized_generic_class_typet new_java_class{
     generic_name,
-    class_definition.get_tag(),
+    class_definition,
     replacement_components,
     existing_generic_type.generic_type_arguments()};
 

src/java_bytecode/java_types.h

@@ -456,20 +456,22 @@ class java_specialized_generic_class_typet : public java_class_typet
   /// parameters and name.
   /// \param generic_name: The new name for the class
   ///   (like Generic<java::Float>)
-  /// \param tag: The name for the original class (like java::Generic)
+  /// \param originating_class: The name for the original class (like
+  ///   java::Generic)
   /// \param new_components: The specialised components
   /// \return The newly constructed class.
   java_specialized_generic_class_typet(
     const irep_idt &generic_name,
-    const irep_idt &tag,
+    const java_class_typet &originating_class,
     const struct_typet::componentst &new_components,
     const generic_type_argumentst &specialised_parameters)
   {
     set(ID_C_specialized_generic_java_class, true);
     set(ID_name, "java::" + id2string(generic_name));
     set(ID_base_name, id2string(generic_name));
     components() = new_components;
-    set_tag(tag);
+    set_tag(originating_class.get_tag());
+    set_access(originating_class.get_access());
 
     generic_type_arguments() = specialised_parameters;
   }