Changed definition to match Google Play Services
GPS vesion 15, API as described at
http://developer.android.com/reference/com/google/android/gms/games/leaderboard/OnLeaderboardScoresLoadedListener.html