Parameterize the JDK distribution

Change-Id: Idcc0f9348ec257bc0382de68422af2b141cec413
diff --git a/jjb/onos-app-release.yaml b/jjb/onos-app-release.yaml
index 5790821..0d780d8 100644
--- a/jjb/onos-app-release.yaml
+++ b/jjb/onos-app-release.yaml
@@ -49,6 +49,11 @@
          default: 'master'
          description: 'Name of the branch to release on.'
 
+      - string:
+         name: jdkDistro
+         default: '{jdk-distribution}'
+         description: 'Distribution of the JDK to use with update-java-alternatives'
+
     node: 'ubuntu16.04-basebuild-1c-2g'
     project-type: pipeline
     concurrent: true