The ContextDestroyedEvent class represents an event that should
be fired when the context is destroyed in order to give registered listeners
time to do proper clean up and/or other appropriate actions.
Constucts a ServletContextEvent with the specified
servletContextEvent as the nested event.
Parameters: servletContextEvent - the nested servlet context event. throws: NullPointerException - if the specifiedservletContextEvent isnull.