Paths to Polyspace Server installation folder. Hostname, port number and protocol for Polyspace Access server. You later use these shorthands in Jenkins projects. Also, specify the e-mail server (if ...