I'm tryng to install WebGoat 2.0, installer stops when it tries to download Tomcat: when asked if a proxy server is in use I answer "Yes", but then it gets stuck and nothing happens. Is installer going to work with a proxy server or do I need to bypass it? Thanks