Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 099f5bd89280f731be10e231528cb8985b7f5d0c)
+++ Jenkinsfile	(revision fe27d994433aa731e830bef185c1754888fc279b)
@@ -439,6 +439,6 @@
 					description: 'Which compiler to use',					\
 					name: 'Compiler',									\
-					choices: 'gcc-6\ngcc-5\ngcc-4.9\nclang',					\
-					defaultValue: 'gcc-6',								\
+					choices: 'gcc-9\ngcc-8\ngcc-7\ngcc-6\ngcc-5\ngcc-4.9\nclang',					\
+					defaultValue: 'gcc-8',								\
 				],												\
 				[$class: 'ChoiceParameterDefinition',						\