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

[Tom Benson]

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