code: public static String dump(Set<MBeanServerConnection> servers) {
              StringBuffer ret = new StringBuffer();
              ret.append("Found ").append(servers.size()).append(" MBeanServers\n");
              for (MBeanServerConnection c : servers) {
                  MBeanServer s = (MBeanServer) c;
                  ret.append("    ")
                     .append("++ ")
                     .append(s.toString())
             .append(": default domain = ")
             .append(s.getDefaultDomain())
             .append(", ")
             .append(s.getMBeanCount())
             .append(" MBeans\n");
  
              ret.append("        Domains:\n");
              for (String d : s.getDomains()) {
                  appendDomainInfo(ret, s, d);
              }
          }
          ret.append("\n");
          ret.append("Platform MBeanServer: ")
             .append(ManagementFactory.getPlatformMBeanServer())
             .append("\n");
          return ret.toString();
      }
docs: Dump out a list of MBeanServer with some statistics.
  
  @param servers server to dump
  @return statistics as strings