case sensitive username

[Jo]

Hi folks,

I am using UserDatabaseRealm with tomcat-users.xml and have noticed that the 
username returned by request.getUserPrincipal() is turned to lower case.
Is there a flag that can tell tomcat not to change case ?

Thanks.
Jo.-