RFR: JDK-8191202 Remove duplicated jmm.h

[Erik Joelsson]

The change looks good. I'm fine with leaving the decision for later with 
the open bug, but I do think the file should be in the library that 
exports the API.

/Erik


On 2017-11-21 03:42, Magnus Ihse Bursie wrote:
> As part of the effort to remove duplicated files between Hotspot and 
> JDK, the turn has now come to jmm.h.
>
> Bug: https://bugs.openjdk.java.net/browse/JDK-8191202
> WebRev: 
> http://cr.openjdk.java.net/~ihse/JDK-8191202-remove-duplicated-jmm-h/webrev.01
>
> /Magnus