Use JENKINS_PORT_8080_TCP_ADDR only if -master is not provided