SERVER-14167 removed spurious duplicate declaration

[jira ticket](https://jira.mongodb.org/browse/SERVER-14118)