resolved conflicts for merge of b005651c to master

Change-Id: I727039a1eb945a438432d5bab078379a27854c8f
diff --git a/bin/proguard.sh b/bin/proguard.sh
index 51a7b01..3fb9444 100755
--- a/bin/proguard.sh
+++ b/bin/proguard.sh
@@ -9,4 +9,4 @@
 
 PROGUARD_HOME=`dirname "$0"`/..
 
-java -jar "$PROGUARD_HOME/lib/proguard.jar" "$@"
+java -Xmx512M  -jar "$PROGUARD_HOME/lib/proguard.jar" "$@"