Heads up: pushing this P5 to jdk9/hs-rt/hotspot today

[Alejandro E Murillo]

I will be pushing this P5 to jdk9/hs-rt/hotspot soon:

http://cr.openjdk.java.net/~amurillo/9/8038262/

this very minor change could have been pushed along with other makefile 
changes
I plan to push related to the the hotspot version string change, however,
this small change might need to be backported to 8u20 independently of 
the version change fix,
so I decided to push it by itself.

Thanks

  -- Alejandro