# HG changeset patch
# User amurillo
# Date 1400881619 25200
# Node ID abb06af6059b3d8d98972a8345e31a8a0a4fe054
# Parent  c36ef639e6d3c2d238f4e4f8b2f5803a60de8be8
8043906: new hotspot build - hs25.20-b17
Reviewed-by: jcoomes

diff -r c36ef639e6d3 -r abb06af6059b make/hotspot_version
--- a/make/hotspot_version	Fri May 23 14:12:52 2014 -0700
+++ b/make/hotspot_version	Fri May 23 14:46:59 2014 -0700
@@ -35,7 +35,7 @@
 
 HS_MAJOR_VER=25
 HS_MINOR_VER=20
-HS_BUILD_NUMBER=16
+HS_BUILD_NUMBER=17
 
 JDK_MAJOR_VER=1
 JDK_MINOR_VER=8