From 708ed08d23cd782cf98bbbd04ce3aa69e26092b2 Mon Sep 17 00:00:00 2001
From: Jeremy Phelps <jphelps@linuxfoundation.org>
Date: Thu, 16 Aug 2018 14:26:47 -0500
Subject: [PATCH] Fetch openjdk-9 for arm64 directly and install

This package is not available in apt repo for Ubuntu 18.04.

Change-Id: I28dbb3af245562b37d40b003f278186e93b9dd19
Signed-off-by: Jeremy Phelps <jphelps@linuxfoundation.org>
---
 tasks/Debian-aarch64.yml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/tasks/Debian-aarch64.yml b/tasks/Debian-aarch64.yml
index e4170ac..b685e55 100644
--- a/tasks/Debian-aarch64.yml
+++ b/tasks/Debian-aarch64.yml
@@ -7,6 +7,13 @@
   apt: name=openjdk-8-jdk state=present update_cache=yes
   become: true
 
+- name: Install Java 9 SDK
+  # openjdk-9 is not directly available via apt.  Point directly to a suitable
+  # deb and install.
+  apt:
+    deb: http://launchpadlibrarian.net/235290897/openjdk-9-jdk_9~b102-1_arm64.deb
+  become: true
+
 - name: Set Java path
   set_fact:
     java_path: /usr/lib/jvm/java-1.8.0-openjdk-arm64
-- 
2.16.6