From b8aec2a11fa5d4e59cde9c21f9338ad883c6b950 Mon Sep 17 00:00:00 2001
From: Florens Douwes <Floens@gmail.com>
Date: Tue, 27 May 2014 20:48:11 +0200
Subject: [PATCH] Update build tools version to 19.1 and set java to 1.7

---
 Clover/app/build.gradle | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/Clover/app/build.gradle b/Clover/app/build.gradle
index 71755db4..2732c800 100644
--- a/Clover/app/build.gradle
+++ b/Clover/app/build.gradle
@@ -2,7 +2,7 @@ apply plugin: 'android'
 
 android {
     compileSdkVersion 19
-    buildToolsVersion "19.0.2"
+    buildToolsVersion "19.1"
 
     Properties versionProps = new Properties()
     versionProps.load(new FileInputStream(file('version.properties')))
@@ -20,6 +20,11 @@ android {
         versionCode versionProps['code'].toInteger()
     }
 
+    compileOptions {
+        sourceCompatibility JavaVersion.VERSION_1_7
+        targetCompatibility JavaVersion.VERSION_1_7
+    }
+
     Properties props = new Properties()
     props.load(new FileInputStream(file('keys.properties')))