teamcity - Revision 9865: /plugins/eclipse-integration/trunk/jetbrains.teamcity.coverage/.settings