Address IntelliJ warnings in `Interface.scala`#3816

Merged

rv-jenkins merged 3 commits intodevelopfrom interface-cleanup

Nov 16, 2023

+144-128

Commits on Nov 15, 2023

Commits on Nov 16, 2023

Merge branch 'develop' into interface-cleanup
rv-jenkins
authored