hg: jigsaw/jake: Fixed merge mistake in jprt config

[erik . joelsson]

Changeset: b3736d835f24
Author:    erikj
Date:      2016-02-16 11:02 +0100
URL:       http://hg.openjdk.java.net/jigsaw/jake/rev/b3736d835f24

Fixed merge mistake in jprt config

! make/jprt.properties