Removed proguard-project.txt to fix Jenkins.