enable proguard in an attempt to fix running tests in Jenkins with emma