Given the high rate of change in Hudson, and the weekly releases, it would be handy if Hudson's web.xml would indicate which version is deployed. This will make it easier for admins to see at a glance from their Tomcat /manager/html, e.g., what version is deployed.