HitManagement: Enable thread-safety checker.
Enable thread-safety checker and fix identified issues.
As part of this, make nextDetectorElement() non-const.
Enable thread-safety checker and fix identified issues.
As part of this, make nextDetectorElement() non-const.