Code for the Teamscale server configuration in the Eclipse global preferences.