Thanks for taking the time to report this bug in Ubuntu.
Unfortunately we can't upgrade the version of tomcat7 in 12.04 to the latest version; however we can apply updates via the Stable Release Update process for Important bugs such as the one you have hit.
As such I am going to re-title this bug report - we can cherry pick the required changes from the upstream VCS to resolve this issue.
Hi John
Thanks for taking the time to report this bug in Ubuntu.
Unfortunately we can't upgrade the version of tomcat7 in 12.04 to the latest version; however we can apply updates via the Stable Release Update process for Important bugs such as the one you have hit.
As such I am going to re-title this bug report - we can cherry pick the required changes from the upstream VCS to resolve this issue.