Reverting method descriptor loading

The signature and the descriptor of a method do not match up (see java
spec: The signature and descriptor (§4.3.3) of a given method or
constructor may not correspond exactly, due to compiler-generated
artifacts. In particular, the number of TypeSignatures that encode
formal arguments in MethodTypeSignature may be less than the number of
ParameterDescriptors in MethodDescriptor.) Reverting this to descriptor
solves the current problem with passing tests.

Author: svorenova

src/java_bytecode/java_bytecode_convert_method.cpp

@@ -263,20 +263,7 @@ void java_bytecode_convert_method_lazy(
   symbol_tablet &symbol_table)
 {
   symbolt method_symbol;
-  typet member_type;
-  if(m.signature.has_value())
-  {
-#ifdef DEBUG
-    std::cout << "method " << m.name
-              << " has signature " << m.signature.value() << "\n";
-#endif
-    member_type=java_type_from_string(
-      m.signature.value(),
-      id2string(class_symbol.name));
-    INVARIANT(member_type.id()==ID_code, "Must be code type");
-  }
-  else
-    member_type=java_type_from_string(m.descriptor);
+  typet member_type=java_type_from_string(m.descriptor);
 
   method_symbol.name=method_identifier;
   method_symbol.base_name=m.base_name;