proguard.txt: Generated change.