Merge branch 'develop' into jdk-9-compatible

CHANGELOG

@@ -1,6 +1,13 @@
 CHANGELOG
 =========
 
+0.6.0
+-----
+
+* jenkins: add Coverage stage
+* jenkins: split Reporting stage into Test Results and Archiving
+* jenkins: remove java 9 testing from `develop` branch
+
 0.5.1
 -----
 

Jenkinsfile.groovy

@@ -30,7 +30,6 @@ pipeline {
                         }
                     }
                 }
-                // requires maven-failsafe-plugin:2.21 when it is released
                 stage('Java 9') {
                     steps {
                         withMaven(maven: 'maven 3.5.2', jdk: 'JDK 9') {
@@ -40,12 +39,21 @@ pipeline {
                 }
             }
         }
-        stage('Reporting') {
+        stage('Test Results') {
             steps {
                 junit '**/target/surefire-reports/*.xml'
+            }
+        }
+        stage('Archiving') {
+            steps {
                 archiveArtifacts '**/target/*.jar'
             }
         }
+        stage('Coverage') {
+            steps {
+                jacoco(execPattern: '**/target/jacoco.exec')
+            }
+        }
         stage('Deploy') {
             when { expression { (env.GIT_BRANCH == 'master') } }
             steps {