switching off connection to home server

The user is not asked and given the possibility to switch of "phoning home".
Deactivated.

Author: mattulbrich

system/src/de/uka/ilkd/key/util/TipOfTheDay.java

@@ -63,7 +63,9 @@ private static String[] getTipsFromFile() throws IOException {
     }
 
     private static String[] getTipsOnline() throws IOException {
-        return new String[]{checkLatestVersion()};
+        return new String[0];
+        // KeY should not phone home without asking the user
+        // return new String[]{checkLatestVersion()};
     }
 
     private static String checkLatestVersion() {
@@ -75,4 +77,4 @@ private static String checkLatestVersion() {
         else return "It seems that you are using an old version of KeY. The current stable version is "+latestVersion;
     }
 
-}
+}