private void dumpHeaders(String prefix, HttpTester http) {
System.out.println(prefix);
@SuppressWarnings("unchecked")
Enumeration<String> names = http.getHeaderNames();
while (names.hasMoreElements()) {
String name = names.nextElement();
String value = http.getHeader(name);
System.out.printf(" [%s] = %s%n", name, value);
}
}
