From 150e25c4f8123a4c9c63e8dca1b4737fa6c1135c Mon Sep 17 00:00:00 2001
From: Serge Schneider <serge@raspberrypi.org>
Date: Mon, 17 Jun 2019 10:32:11 +0100
Subject: [PATCH] Revert "Java 8 workaround"

This reverts commit 3682a747bdf319a34fcce7cad9771a1a3ead34ec.
---
 stage5/00-install-extras/{01-packages => 00-packages} | 0
 stage5/00-install-extras/00-run.sh                    | 8 --------
 2 files changed, 8 deletions(-)
 rename stage5/00-install-extras/{01-packages => 00-packages} (100%)
 delete mode 100755 stage5/00-install-extras/00-run.sh

diff --git a/stage5/00-install-extras/01-packages b/stage5/00-install-extras/00-packages
similarity index 100%
rename from stage5/00-install-extras/01-packages
rename to stage5/00-install-extras/00-packages
diff --git a/stage5/00-install-extras/00-run.sh b/stage5/00-install-extras/00-run.sh
deleted file mode 100755
index f102311..0000000
--- a/stage5/00-install-extras/00-run.sh
+++ /dev/null
@@ -1,8 +0,0 @@
-#!/bin/bash -e
-
-on_chroot << EOF
-apt-get install openjdk-11-jre-headless -y --no-install-recommends
-#update-binfmts --package openjdk-11 --remove jar /usr/bin/jexec
-apt-get purge openjdk-11-jre-headless openjdk-8-jre-headless+ -y
-apt-mark auto openjdk-8-jre-headless
-EOF