hg: panama/dev: 8218150: jextract should optionally generate a jmod file

[sundararajan.athijegannathan at oracle.com]

Changeset: 72d6684b8cb1
Author:    sundar
Date:      2019-01-31 21:58 +0530
URL:       http://hg.openjdk.java.net/panama/dev/rev/72d6684b8cb1

8218150: jextract should optionally generate a jmod file
Reviewed-by: mcimadamore

! doc/panama_foreign.html
! doc/panama_foreign.md
! src/jdk.jextract/share/classes/com/sun/tools/jextract/Context.java
+ src/jdk.jextract/share/classes/com/sun/tools/jextract/JModWriter.java
+ src/jdk.jextract/share/classes/com/sun/tools/jextract/JarWriter.java
! src/jdk.jextract/share/classes/com/sun/tools/jextract/Main.java
! src/jdk.jextract/share/classes/com/sun/tools/jextract/SymbolFilter.java
! src/jdk.jextract/share/classes/com/sun/tools/jextract/Writer.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/Runner.java