Merge branch 'stable'
Deactivate maven coverage profile
Bump up version
Merge branch 'maven-profile-update' into rel-0.11.2
Merge branch 'rel-0.11.2' into stable