We found a problem described in bug 42727 in Tomcat/6.0.13
It will get fixed as part of the fix for 42727 *** This bug has been marked as a duplicate of 42727 ***