[x] Appropriate branch selected (all PRs must first be merged to dev before they can be merged to master)
[x] Any modified or new methods or classes have helpful JavaDoc and code is thoroughly commented
[x] The description lists all applicable issues this PR seeks to resolve
[x] The description lists any configuration setting(s) that differ from the default settings
[x] All tests and CI builds passing
Description
There were some mysterious compilation errors hanging around in the mtc branch that were revealed by the recent dockerization efforts. This PR fixes those issues
Checklist
dev
before they can be merged tomaster
)Description
There were some mysterious compilation errors hanging around in the mtc branch that were revealed by the recent dockerization efforts. This PR fixes those issues