Я использую Android SDK Manager, чтобы обновлять все пакеты. Текущий (2014-03-05) Android SDK Tools — V22.6. Я проверил файл proguard.jar в C:\Program Files (x86)\Android\android-sdk\tools\proguard\lib и обнаружил, что его версия 4.7. Последняя версия ProGuard – 4.11. Версия 4.7 была выпущена в 2011 году. Есть ли веская причина для SDK использовать старую версию? Должен ли я обновлять ProGuard вручную?
Я слышал, что если proguard.jar обновить вручную, обновление SDK через Android SDK Manager перезапишет его. Любые разъяснения будут очень признательны.