JAL-1188 - set the user agent to Jalview Desktop/${VERSION}

diff --git a/src/jalview/bin/Jalview.java b/src/jalview/bin/Jalview.java
index bfa7b11..7920fa9 100755 (executable)
--- a/src/jalview/bin/Jalview.java
+++ b/src/jalview/bin/Jalview.java
@@ -157,7 +157,7 @@ public class Jalview
     {
       headless = true;
     }
-
+    System.setProperty("http.agent", "Jalview Desktop/"+Cache.getDefault("VERSION", "Unknown"));
     try
     {
       Cache.initLogger();