Jenkins BUILD_ID no longer includes timestamp

Change-Id: I0383f3587ce7b697fef4743893012b18687bb312
diff --git a/org.eclipse.userstorage.releng/hudson/promote.sh b/org.eclipse.userstorage.releng/hudson/promote.sh
index a433694..19d5388 100644
--- a/org.eclipse.userstorage.releng/hudson/promote.sh
+++ b/org.eclipse.userstorage.releng/hudson/promote.sh
@@ -1,4 +1,7 @@
 #!/bin/bash
+if [[ "$BUILD_TIMESTAMP" == "" ]]; then
+  BUILD_TIMESTAMP=`date -u +%Y-%m-%d_%H-%M-%S`
+fi
 
 if [[ "$BUILD_TYPE" == "" || "$BUILD_TYPE" == none ]]; then
   BUILD_TYPE=nightly
@@ -12,7 +15,7 @@
   fi
 
   if [[ "$TYPE" != "" ]]; then
-    BUILD_KEY=$TYPE`echo $BUILD_ID | sed 's/\([0-9]*\)-\([0-9]*\)-\([0-9]*\)_\([0-9]*\)-\([0-9]*\)-\([0-9]*\)/\1\2\3-\4\5\6/g'`
+    BUILD_KEY=$TYPE`echo $BUILD_TIMESTAMP | sed 's/\([0-9]*\)-\([0-9]*\)-\([0-9]*\)_\([0-9]*\)-\([0-9]*\)-\([0-9]*\)/\1\2\3-\4\5\6/g'`
   fi
 fi