diff -r 8956e19bdffb -r 73d61cd3f8e9 make/hotspot_version
--- a/make/hotspot_version	Tue Oct 07 14:35:40 2014 -0700
+++ b/make/hotspot_version	Wed Oct 08 14:13:23 2014 -0700
@@ -35,7 +35,7 @@
 
 HS_MAJOR_VER=25
 HS_MINOR_VER=40
-HS_BUILD_NUMBER=12
+HS_BUILD_NUMBER=13
 
 JDK_MAJOR_VER=1
 JDK_MINOR_VER=8