Changes in server selection interface
Merge branch 'splat-ari-GD' of https://github.com/Starlink/starjava into splat-ari-GD