Merge pull request #1715 from BillFarber/task/useDockerInJenkins

Now I suspect port 8020 should not be mapped in Docker.

Author: BillFarber

test-app/docker-compose.yaml

@@ -15,7 +15,6 @@ services:
     ports:
       - "8000-8002:8000-8002"
       - "8010-8014:8010-8014"
-      - "8020:8020"
       - "8022:8022"
       - "8054-8059:8054-8059"
       - "8093:8093"