main-coverity-PileUpTools
Solve one coverity defect introduced 26 August 2023 (possible nullptr dereference) and removed one redundant include.
Solve one coverity defect introduced 26 August 2023 (possible nullptr dereference) and removed one redundant include.