Delete CountingSemaphore as it was never used