Documentation on how you use the <Listener> element in Tomcat's server.xml file appears to be missing from the 5.5 documentation? (<Listener> is a nested element of the <Server> element it should be mentioned on this page http://tomcat.apache.org/tomcat-5.5-...ig/server.html)

or am I being stupid?