RFR(s): 8191864: Provide a public destructor for WorkGang

[Per Liden]

Thanks Stefan & Stefan!

/Per

On 2017-11-27 13:49, Stefan Johansson wrote:
>
>
> On 2017-11-27 13:00, Stefan Karlsson wrote:
>> Looks good.
>>
> +1
> StefanJ
>> StefanK
>>
>> On 2017-11-24 15:55, Per Liden wrote:
>>> Hi,
>>>
>>> WorkGang's destructor is currently declared private, meaning a
>>> WorkGang can't be deleted, instantiated as a value or placed on the
>>> stack. This patch adds a public destructor. I also added a protected
>>> destructor on AbstractWorkGang to guard against attempts to delete
>>> using a AbstractWorkGang pointer, which would require a virtual
>>> destructor.
>>>
>>> Webrev: http://cr.openjdk.java.net/~pliden/8191864/
>>> Bug: https://bugs.openjdk.java.net/browse/JDK-8191864
>>>
>>> /Per
>