change default port of WebServer to 8080