} else {
// be safe here!
setETag(null);
}
ArrayDictionary a = new ArrayDictionary(5, 5);
Enumeration e = reply.enumerateHeaderDescriptions();
while ( e.hasMoreElements() ) {
HeaderDescription d = (HeaderDescription) e.nextElement();
// Skip all well-known headers:
if ( d.isHeader(Reply.H_CONTENT_TYPE)
|| d.isHeader(Reply.H_CONTENT_LENGTH)