Correcting review comments

Author: thk123

src/java_bytecode/java_bytecode_convert_method.cpp

@@ -386,7 +386,6 @@ void java_bytecode_convert_methodt::convert(
 
   // Obtain a std::vector of code_typet::parametert objects from the
   // (function) type of the symbol
-
   code_typet code_type = to_code_type(method_symbol.type);
   code_type.set(ID_C_class, class_symbol.name);
   method_return_type=code_type.return_type();
@@ -544,8 +543,8 @@ void java_bytecode_convert_methodt::convert(
   }
   else
   {
-    method_symbol.pretty_name =
-      id2string(class_symbol.pretty_name) + "." + id2string(m.base_name) + "()";
+    method_symbol.pretty_name = id2string(class_symbol.pretty_name) + "." +
+                                id2string(method_symbol.base_name) + "()";
   }
 
   method_symbol.type = code_type;

unit/java_bytecode/java_bytecode_convert_method/convert_initalizers.cpp

@@ -1,8 +1,8 @@
 /*******************************************************************\
 
- Module: Unit tests for converting abstract classes
+ Module: Unit tests for converting constructors and static initializers
 
- Author: DiffBlue Limited. All rights reserved.
+ Author: DiffBlue Limited.
 
 \*******************************************************************/
 
@@ -42,8 +42,10 @@ void require_is_constructor(const test_datat &test_data)
 /// Verify that a given descriptor is not marked as a constructor in the symbol
 /// table
 /// \param test_data The data to run the test on
-void require_is_static_initalizer(const test_datat &test_data)
+void require_is_static_initializer(const test_datat &test_data)
 {
+  REQUIRE(
+    test_data.constructor_descriptor.find("<clinit>") != std::string::npos);
   const symbolt &constructor =
     test_data.symbol_table.lookup_ref(test_data.constructor_descriptor);
   THEN("The constructor should be marked as a constructor")