Add class name to lambda synthetic class and strip java:: from tag

Author: JohnDumbell

jbmc/src/java_bytecode/lambda_synthesis.cpp

@@ -158,8 +158,12 @@ void create_invokedynamic_synthetic_classes(
       irep_idt synthetic_class_name =
         lambda_synthetic_class_name(method_identifier, instruction.address);
 
+      // Strip java:: off full name for the tag
+      irep_idt class_tag = id2string(synthetic_class_name).substr(6);
+
       java_class_typet synthetic_class_type;
-      synthetic_class_type.set_tag(synthetic_class_name);
+      synthetic_class_type.set_tag(class_tag);
+      synthetic_class_type.set_name(synthetic_class_name);
       synthetic_class_type.set_synthetic(true);
       synthetic_class_type.set(
         ID_java_lambda_method_identifier, lambda_method_symbol.value().name);