RFR: (XXS): 8072056: Remove unnecessary header file #include

[Thomas Schatzl]

Hi,

On Mon, 2015-02-09 at 21:01 -0500, Tom Benson wrote:
> Hi,
> I need reviewers and a commit sponsor for the tiny clean-up described in 
> bug 8072056, which removes an unnecessary header file #include.
> 
> Webrev: http://cr.openjdk.java.net/~jprovino/8072056/webrev.00
> JBS bug: https://bugs.openjdk.java.net/browse/JDK-8072056

  looks good. I can sponsor the change.

Thanks,
  Thomas