From 30d681bcb89304261414cb7e2f5d6e318fd4ea82 Mon Sep 17 00:00:00 2001
From: Daniel Gultsch <daniel@gultsch.de>
Date: Wed, 25 Oct 2023 20:00:44 +0200
Subject: [PATCH] enable Java 17 language features

---
 build.gradle | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/build.gradle b/build.gradle
index 13c4c3e21..eb0f369ab 100644
--- a/build.gradle
+++ b/build.gradle
@@ -31,6 +31,8 @@ configurations {
 }
 
 dependencies {
+    coreLibraryDesugaring 'com.android.tools:desugar_jdk_libs:2.0.3'
+
     implementation 'androidx.viewpager:viewpager:1.0.0'
 
     playstoreImplementation('com.google.firebase:firebase-messaging:23.3.0') {
@@ -121,8 +123,9 @@ android {
     }
 
     compileOptions {
-        sourceCompatibility JavaVersion.VERSION_1_8
-        targetCompatibility JavaVersion.VERSION_1_8
+        coreLibraryDesugaringEnabled true
+        sourceCompatibility JavaVersion.VERSION_17
+        targetCompatibility JavaVersion.VERSION_17
     }
 
     flavorDimensions("mode", "distribution")
@@ -231,7 +234,7 @@ android {
         }
     }
     lint {
-        disable 'MissingTranslation', 'InvalidPackage', 'AppCompatResource', 'ExtraTranslation'
+        disable 'MissingTranslation', 'InvalidPackage', 'AppCompatResource'
     }
     buildFeatures {
         buildConfig true