Another ProGuard tweak, necessary for building Extendo-Android on eddie5 (x64 Ubuntu)