HBX-3056: Update version identifiers in Jenkinsfile to 6.2.42.Final and 6.2.43-SNAPSHOT respectively

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

Author: koentsje

ci/release/Jenkinsfile

@@ -36,14 +36,14 @@ pipeline {
 	parameters {
 		string(
 				name: 'RELEASE_VERSION',
-				defaultValue: '6.2.41.Final',
-				description: 'The version to be released, e.g. 6.2.41.Final.',
+				defaultValue: '6.2.42.Final',
+				description: 'The version to be released, e.g. 6.2.42.Final.',
 				trim: true
 		)
 		string(
 				name: 'DEVELOPMENT_VERSION',
-				defaultValue: '6.2.42-SNAPSHOT',
-				description: 'The next version to be used after the release, e.g. 6.2.42-SNAPSHOT.',
+				defaultValue: '6.2.43-SNAPSHOT',
+				description: 'The next version to be used after the release, e.g. 6.2.43-SNAPSHOT.',
 				trim: true
 		)
 		booleanParam(