Bug fix: Sonar runner would inadvertently change the Sonar options of a product.