--- a/make/jdk_generic_profile.sh	Mon Aug 11 16:38:08 2014 +0100
+++ b/make/jdk_generic_profile.sh	Wed Aug 13 15:49:21 2014 +0100
@@ -570,3 +570,31 @@
 
 # IcedTea default; turn on the ARM32 JIT
 export ARM32JIT=true
+
+# IcedTea versioning
+export ICEDTEA_NAME="IcedTea"
+export PACKAGE_VERSION="2.6pre06"
+export DERIVATIVE_ID="${ICEDTEA_NAME} ${PACKAGE_VERSION}"
+
+if [ -e ${jdk_topdir} ] ; then
+  if hg -R ${jdk_topdir} id &>/dev/null ; then
+    export JDK_REVID="r$(hg -R ${jdk_topdir} id -i)";
+  fi
+fi
+hotspot_topdir=${jdk_topdir}/../hotspot
+if [ -e ${hotspot_topdir} ] ; then
+  if hg -R ${hotspot_topdir} id &>/dev/null ; then
+    export HOTSPOT_BUILD_VERSION="r$(hg -R ${hotspot_topdir} id -i)";
+  fi
+fi
+
+lsbrelease=$(which lsb_release 2>/dev/null)
+if [ -x ${lsbrelease} ] ; then
+  lsbinfo="$(${lsbrelease} -ds | sed 's/^"//;s/"$//')"
+  if test "x${PKGVERSION}" = "x"; then
+    export DISTRIBUTION_ID="Built on ${lsbinfo} ($(date))"
+  else
+    export DISTRIBUTION_ID="${lsbinfo}, package $PKGVERSION"
+  fi
+  export DISTRO_NAME="$(${lsbrelease} -is | sed 's/^"//;s/"$//')"
+fi