Use more recent Java

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