Fixing the type for JenkinsConnectionPort.