trying to resolve bug in Tomcat's class-loader