addition of alternative port support, and default to port 8080 (jenkins default)