hg: jigsaw/jake: Temp workaround for JPRT until JDK-8140593 is fixed

[erik . joelsson]

Changeset: d0c45db4bcf3
Author:    erikj
Date:      2015-10-27 17:29 +0100
URL:       http://hg.openjdk.java.net/jigsaw/jake/rev/d0c45db4bcf3

Temp workaround for JPRT until JDK-8140593 is fixed

! make/jprt.properties