Georges fix to add build date/time info to DEVELOPMENT builds.

1 files changed, 7 insertions, 9 deletions

diff --git a/build/lib/BridgeVersion.java.txt b/build/lib/BridgeVersion.java.txt
index 4d82a700b..5a755d097 100644
--- a/build/lib/BridgeVersion.java.txt
+++ b/build/lib/BridgeVersion.java.txt
@@ -51,15 +51,13 @@ public class Version {
     // if not DEVELOPMENT version, read time text using format used to set time 
     static {
         long foundTime = NOTIME;
-        if (!DEVELOPMENT.equals(text)) {
-	        try {
-	            SimpleDateFormat format = new SimpleDateFormat(SIMPLE_DATE_FORMAT);
-	            ParsePosition pos = new ParsePosition(0);
-	            Date date = format.parse(time_text, pos);
-	            foundTime = date.getTime();
-	        } catch (Throwable t) {            
-	        }
-        }
+	    try {
+	        SimpleDateFormat format = new SimpleDateFormat(SIMPLE_DATE_FORMAT);
+	        ParsePosition pos = new ParsePosition(0);
+	        Date date = format.parse(time_text, pos);
+	        foundTime = date.getTime();
+	    } catch (Throwable t) {            
+	    }
         time = foundTime;
     }