Update the proguard settings so that they work with Java 1.7