SonarQube

[Till Westmann]

Is SonarQube still alive? It seems that it didn’t run on 
https://asterix-gerrit.ics.uci.edu/#/c/1017 …

Cheers,
Till