Setting up HTTPS on tomcat port 8443 - Windows (up to 19.3)