From 02c53ff8f58e2aa1bb7a50df7c8fec18b2fc7742 Mon Sep 17 00:00:00 2001
From: jprocter <Jim Procter>
Date: Mon, 5 Apr 2010 15:56:59 +0000
Subject: [PATCH] ensure console contains build details in header

---
 src/jalview/gui/Desktop.java |    9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java
index 77cf56f..ab2175d 100755
--- a/src/jalview/gui/Desktop.java
+++ b/src/jalview/gui/Desktop.java
@@ -115,6 +115,15 @@ public class Desktop extends jalview.jbgui.GDesktop implements
               (int) (screenSize.height - 650) / 2, 900, 650);
     }
     jconsole = new Console(this);
+    // immediately output essential build information
+    System.out.println("Jalview Desktop "+jalview.bin.Cache.getProperty("VERSION")+"\n"
+            +"Build Date: "
+            + jalview.bin.Cache.getDefault("BUILD_DATE", "unknown")+"\n"
+            + "Java version: " + System.getProperty("java.version")
+            + "\n"+System.getProperty("os.arch") + " "
+            + System.getProperty("os.name") + " "
+            + System.getProperty("os.version"));
+    
     showConsole(showjconsole);
 
     this.addWindowListener(new WindowAdapter()
-- 
1.7.10.2