hg: jdk9/hs/hotspot: 8033926: Update hotspot/make/jprt.properties to use jdk 9 instead of jdk 8

[alejandro.murillo at oracle.com]

Changeset: 1d211fab479f
Author:    amurillo
Date:      2014-03-18 14:07 -0700
URL:       http://hg.openjdk.java.net/jdk9/hs/hotspot/rev/1d211fab479f

8033926: Update hotspot/make/jprt.properties to use jdk 9 instead of jdk 8
Reviewed-by: sla, dholmes

! make/jprt.properties