Fixes #8173:  Disable SSLv3 in tomcat