Tomcat 3.x vs 4.0 - HTTP header names

[William Au]

I just noticed that in Tomcat 4.0, the HTTP header names as obtained by
request.getHeaderNames() are all lower case, even if the original header
names being sent are all upper case or mixed case.

It seems to me the Tomcat 4.0 is converting the header names to all lower case.
Tomcat 3.x perserver the original case of the header names.

Is this normal?  Is there anyway to keep the original case of the header names?

Bill