53                               uint           which,

    53                               uint           which,

    54                               uint           processor_id) {

    54                               uint           processor_id) {

    55     return new GCTaskThread(manager, which, processor_id);

    55     return new GCTaskThread(manager, which, processor_id);

    56   }

    56   }

    57  public:

    57  public:

    58   static void destroy(GCTaskThread* manager) {

    59   static void destroy(GCTaskThread* manager) {

    59     if (manager != NULL) {

    60     if (manager != NULL) {

    60       delete manager;

    61       delete manager;

    61     }

    62     }

    62   }

    63   }