hg: jigsaw/jake: Fix jprt config

[erik . joelsson]

Changeset: 947386030f5a
Author:    erikj
Date:      2016-02-19 12:21 +0100
URL:       http://hg.openjdk.java.net/jigsaw/jake/rev/947386030f5a

Fix jprt config

! make/jprt.properties