From 4d7deafb6b4de2ab6051203bc5f32841b7e71529 Mon Sep 17 00:00:00 2001
From: Lukasz Lenart <lukaszlenart@apache.org>
Date: Wed, 30 Jan 2019 18:50:12 +0100
Subject: [PATCH] Drops empty lines

---
 Jenkinsfile | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 4e58b88a3..e0cad0492 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,28 +1,22 @@
 pipeline {
-
   agent {
     label 'ubuntu'
   }
-
   options {
     buildDiscarder logRotator(daysToKeepStr: '14', numToKeepStr: '10')
     timeout(80)
     disableConcurrentBuilds()
   }
-
   tools {
     jdk 'JDK 1.7 (latest)'
     maven 'Maven 3 (latest)'
   }
-
   triggers {
     pollSCM 'H/15 * * * *'
   }
-
   environment {
-    MAVEN_OPTS = "-Xmx1024m -XX:MaxPermSize=256m"
+    MAVEN_OPTS = '-Xmx1024m -XX:MaxPermSize=256m'
   }
-
   stages {
     stage('Build') {
       steps {