RFR: merge of 8203197

[Roman Kennke]

> Here is the webrev of the merge:
> 
> http://cr.openjdk.java.net/~roland/shenandoah/merge-8205033/webrev.00/
> 
> Roland.


Hi Roland,

thanks. Please push it.

Roman