tweaking sonar.properties