more on tomcat lib