From 21b5838a1d602934672d1100b53b7382d493882c Mon Sep 17 00:00:00 2001
From: Jules Aguillon <juloo.dsi@gmail.com>
Date: Tue, 5 Jan 2021 00:39:49 +0100
Subject: [PATCH] Use more recent Java

---
 ant.properties | 4 ++--
 shell.nix      | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/ant.properties b/ant.properties
index 744cac8..190cdd5 100644
--- a/ant.properties
+++ b/ant.properties
@@ -19,5 +19,5 @@ source.dir=srcs
 key.store=release-keys.keystore
 key.alias=releasekey
 
-java.source=8
-java.target=8
+java.source=1.7
+java.target=1.7
diff --git a/shell.nix b/shell.nix
index 3f6d853..f57ae2e 100644
--- a/shell.nix
+++ b/shell.nix
@@ -14,7 +14,7 @@ in
 
 pkgs.mkShell {
   buildInputs = with pkgs; [
-    ant openjdk8 android.androidsdk
+    ant openjdk android.androidsdk
   ];
   shellHook = ''
     export ANDROID_HOME=${android.androidsdk}/libexec/android-sdk