mining added
 data set added
Merge branch 'branch-3.7' of https://github.com/mkapdan/sonar into branch-3.7