Can one of you review these jprt changes, there is no impact to RE or manual developer building.
These changes are needed to instruct our internal developer build system JPRT on how to build jdk8. 7069993: Adjust make/jprt.properties file for jdk8 http://cr.openjdk.java.net/~ohair/openjdk8/jprt-changes/webrev/ -kto
