diff --git a/regression/cbmc-java/generics_type_param/AWrapper.class b/regression/cbmc-java/generics_type_param/AWrapper.class
new file mode 100644
index 00000000000..59906e8c3a2
Binary files /dev/null and b/regression/cbmc-java/generics_type_param/AWrapper.class differ
diff --git a/regression/cbmc-java/generics_type_param/test.desc b/regression/cbmc-java/generics_type_param/test.desc
index 762ac73f8ec..4b4bcca0974 100644
--- a/regression/cbmc-java/generics_type_param/test.desc
+++ b/regression/cbmc-java/generics_type_param/test.desc
@@ -6,3 +6,7 @@ GenericFields$SimpleGenericField.class
 Reading class AWrapper
 Reading class FWrapper
 Reading class IWrapper
+--
+failed to load class \`AWrapper\'
+failed to load class \`FWrapper\'
+failed to load class \`IWrapper\'