RFR: JDK-8191202 Remove duplicated jmm.h

[David Holmes]

Hi Magnus,

Seems to me that jmm is an interface exported by the VM, so the hotspot 
version of the header is the one that should survive IMO.

David

On 21/11/2017 9:42 PM, 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