Setting up HTTPS on tomcat port 8443 - Windows