From af60e1fdfb9150d2de3d1603c70bf9d04c44cba2 Mon Sep 17 00:00:00 2001
From: Dennis Guse <dennis.guse@alumni.tu-berlin.de>
Date: Thu, 20 Aug 2020 18:31:47 +0200
Subject: [PATCH] Enable Google's desugar plugin (enables stream/map etc.).
 Fixes  #347.

---
 build.gradle | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/build.gradle b/build.gradle
index 87dc9e82c..d108223e5 100644
--- a/build.gradle
+++ b/build.gradle
@@ -37,6 +37,8 @@ def getVersionName = { ->
 
 android {
     compileOptions {
+        coreLibraryDesugaringEnabled true
+
         sourceCompatibility JavaVersion.VERSION_1_8
         targetCompatibility JavaVersion.VERSION_1_8
     }
@@ -80,6 +82,8 @@ android {
 }
 
 dependencies {
+    coreLibraryDesugaring 'com.android.tools:desugar_jdk_libs:1.0.10'
+
     implementation 'androidx.appcompat:appcompat:1.2.0'
     implementation 'androidx.preference:preference:1.1.1'
     implementation 'androidx.documentfile:documentfile:1.0.1'