diff -r 66722c5bc87a -r 157f39705057 hotspot/src/share/vm/gc/parallel/gcTaskThread.hpp --- a/hotspot/src/share/vm/gc/parallel/gcTaskThread.hpp Tue Jun 21 14:00:18 2016 +0200 +++ b/hotspot/src/share/vm/gc/parallel/gcTaskThread.hpp Thu May 19 13:59:50 2016 -0700 @@ -55,6 +55,7 @@ return new GCTaskThread(manager, which, processor_id); } public: + static void destroy(GCTaskThread* manager) { if (manager != NULL) { delete manager;