HBX-3045: Update version identifiers in Jenkinsfile to 7.0.7.Final and 7.0.8-SNAPSHOT respectively

  - Some updates were forgotten

Signed-off-by: Koen Aers <[email protected]>

Author: koentsje

ci/release/Jenkinsfile

@@ -32,13 +32,13 @@ pipeline {
 	parameters {
 		string(
 				name: 'RELEASE_VERSION',
-				defaultValue: '7.0.6.Final',
+				defaultValue: '7.0.7.Final',
 				description: 'The version to be released, e.g. 7.0.7.Final.',
 				trim: true
 		)
 		string(
 				name: 'DEVELOPMENT_VERSION',
-				defaultValue: '7.0.7-SNAPSHOT',
+				defaultValue: '7.0.8-SNAPSHOT',
 				description: 'The next version to be used after the release, e.g. 7.0.8-SNAPSHOT.',
 				trim: true
 		)