doc: updated tomcat section for debian jessie