The version in the Android SDK is often lagging behind. At this time, the Android SDK contains ProGuard 4.7, while the Android Gradle plugin refers to ProGuard 4.10 from Maven Central. I generally recommend to use the latest version, especially if you have enabled optimization and if you run into any bugs in older versions.
(I am the developer of ProGuard)