--- old/src/share/vm/utilities/xmlstream.cpp	2014-03-21 09:59:13.331253419 +0100
+++ new/src/share/vm/utilities/xmlstream.cpp	2014-03-21 09:59:13.177885400 +0100
@@ -398,8 +398,7 @@
 void xmlStream::method_text(methodHandle method) {
   assert_if_no_error(inside_attrs(), "printing attributes");
   if (method.is_null())  return;
-  //method->print_short_name(text());
-  method->method_holder()->name()->print_symbol_on(text());
+  text()->print(method->method_holder()->external_name());
   print_raw(" ");  // " " is easier for tools to parse than "::"
   method->name()->print_symbol_on(text());
   print_raw(" ");  // separator