hg: panama/dev: 8212049: Improve jextract usability

[maurizio.cimadamore at oracle.com]

Changeset: 2d3127b5645c
Author:    mcimadamore
Date:      2018-10-11 17:45 +0100
URL:       http://hg.openjdk.java.net/panama/dev/rev/2d3127b5645c

8212049: Improve jextract usability
Reviewed-by: sundar, hjen

! src/jdk.jextract/share/classes/com/sun/tools/jextract/Context.java
! src/jdk.jextract/share/classes/com/sun/tools/jextract/Main.java
! src/jdk.jextract/share/classes/com/sun/tools/jextract/resources/Messages.properties
! test/jdk/com/sun/tools/jextract/JextractToolProviderTest.java
! test/jdk/com/sun/tools/jextract/JtregJextract.java
+ test/jdk/com/sun/tools/jextract/missing/MissingSymbolTest.java
+ test/jdk/com/sun/tools/jextract/missing/libMissing.c
+ test/jdk/com/sun/tools/jextract/missing/missing.h
+ test/jdk/com/sun/tools/jextract/rpath/RpathTest.java
+ test/jdk/com/sun/tools/jextract/rpath/bar.h
+ test/jdk/com/sun/tools/jextract/rpath/foo.h
+ test/jdk/com/sun/tools/jextract/systemHeaders/SystemHeadersTest.java
+ test/jdk/com/sun/tools/jextract/systemHeaders/foo.h