hg: jigsaw/jake/hotspot: Manual import of 8142907: Integration of minor fixes from the build-infra project

[chris . hegarty]

Changeset: 48135fa262f8
Author:    ihse
Date:      2015-12-15 11:02 +0100
URL:       http://hg.openjdk.java.net/jigsaw/jake/hotspot/rev/48135fa262f8

Manual import of 8142907: Integration of minor fixes from the build-infra 
project
Reviewed-by: erikj, dholmes

! make/lib/Lib-jdk.hotspot.agent.gmk