Adding tomcat state documentation

Fixes #4256