Cache.getDefault
[jalview.git] / src / jalview / gui / Desktop.java
index 3da12e9..020a420 100755 (executable)
@@ -428,7 +428,7 @@ public class Desktop extends jalview.jbgui.GDesktop
           "VERSION") +\r
                                               "; last updated: " +\r
                                               jalview.bin.\r
-                                              Cache.getProperty("BUILD_DATE"));\r
+                                              Cache.getDefault("BUILD_DATE", "unknown"));\r
 \r
       if (!jalview.bin.Cache.getProperty("LATEST_VERSION").equals(\r
           jalview.bin.Cache.getProperty("VERSION")))\r