hg: panama/dev: Automatic merge with default

[maurizio.cimadamore at oracle.com]

Changeset: aafa93323298
Author:    mcimadamore
Date:      2018-08-01 22:08 +0200
URL:       http://hg.openjdk.java.net/panama/dev/rev/aafa93323298

Automatic merge with default

! bin/idea.sh
! make/CompileJavaModules.gmk
! make/autoconf/spec.gmk.in