Make resetMappings() public for use by harness-push