diff -r 7d3720d8c595 -r 895059543b5b hotspot/make/hotspot_version
--- a/hotspot/make/hotspot_version	Wed Jul 05 18:01:24 2017 +0200
+++ b/hotspot/make/hotspot_version	Fri Jan 27 14:49:54 2012 -0800
@@ -35,7 +35,7 @@
 
 HS_MAJOR_VER=23
 HS_MINOR_VER=0
-HS_BUILD_NUMBER=12
+HS_BUILD_NUMBER=13
 
 JDK_MAJOR_VER=1
 JDK_MINOR_VER=8