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

[Joseph Provino]

Looks good.

joe

On 2/9/2015 9:01 PM, 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
> jprt url: 
> http://scaaa637.us.oracle.com/archive/2015/02/2015-02-09-154643.trbenson.hs-gc/
>
> Thanks,
> Tom