Update to Proguard 4.11 (with API adjustment)