diff --git a/Clover/app/build.gradle b/Clover/app/build.gradle
index 80f2a8ba..f9895efe 100644
--- a/Clover/app/build.gradle
+++ b/Clover/app/build.gradle
@@ -2,7 +2,7 @@ apply plugin: 'com.android.application'
 
 android {
     compileSdkVersion 23
-    buildToolsVersion "23.0.2"
+    buildToolsVersion '23.0.2'
 
     defaultConfig {
         minSdkVersion 14
diff --git a/Clover/app/proguard.cfg b/Clover/app/proguard.cfg
index 6721f36c..9c87b09f 100644
--- a/Clover/app/proguard.cfg
+++ b/Clover/app/proguard.cfg
@@ -10,9 +10,10 @@
 # be complete or up to date. (The "arithmetic" optimization can be
 # used if you are only targeting Android 2.0 or later.)  Make sure you
 # test thoroughly if you go this route.
--optimizations !code/simplification/arithmetic,!code/simplification/cast,!field/*,!class/merging/*
--optimizationpasses 2
--allowaccessmodification
+#-optimizations !code/simplification/arithmetic,!code/simplification/cast,!field/*,!class/merging/*
+#-optimizationpasses 2
+#-allowaccessmodification
+-dontoptimize
 -dontpreverify
 
 # The remainder of this file is identical to the non-optimized version