[foreign] RFR 8220544: Jextract; library dependent header filtering

[Maurizio Cimadamore]

On 15/03/2019 04:37, Sundararajan Athijegannathan wrote:
> Few review comments on source changes: 

Also, we should probably add the new JVM_ symbol to all the map files 
under make/ otherwise the build will probably break in non-linux platforms?

Maurizio