pretty name of constructors now uses empty declarator

Author: Daniel Kroening

src/java_bytecode/java_bytecode_convert_method.cpp

@@ -381,11 +381,12 @@ void java_bytecode_convert_method_lazy(
 
   if(is_constructor(method_symbol.base_name))
   {
-    // we use full.class_name.class_name(...) as pretty name
-    // for constructors
+    // we use full.class_name(...) as pretty name
+    // for constructors -- the idea is that they have
+    // an empty declarator.
     method_symbol.pretty_name=
-      id2string(class_symbol.pretty_name)+"."+
-      id2string(class_symbol.base_name)+signature_string;
+      id2string(class_symbol.pretty_name)+
+      signature_string;
     member_type.set_is_constructor();
   }
   else