main-coverity-JetToolHelpers
[minor] Address coverity defect 16832, COPY_INSTEAD_OF_MOVE, introduced 29 May. Tidied headers while there.
GitLab Registry scheduled maintenance on Wednesday, October 09th 2024 as of 20:00h Geneva time for a period of 1 hour. Further information under https://cern.ch/otg0152540.
[minor] Address coverity defect 16832, COPY_INSTEAD_OF_MOVE, introduced 29 May. Tidied headers while there.