From dd3562c00fbcac9f5dd133df366909664e45dd4e Mon Sep 17 00:00:00 2001
From: Hans-Christoph Steiner <hans@eds.org>
Date: Wed, 19 Feb 2014 20:02:29 -0500
Subject: [PATCH] remove unnecessary cast

This is pretty cosmetic, but Eclipse did it for me, so why not? :-)
---
 src/org/fdroid/fdroid/PreferencesActivity.java | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/org/fdroid/fdroid/PreferencesActivity.java b/src/org/fdroid/fdroid/PreferencesActivity.java
index 8de8a4589..569f3dc73 100644
--- a/src/org/fdroid/fdroid/PreferencesActivity.java
+++ b/src/org/fdroid/fdroid/PreferencesActivity.java
@@ -152,8 +152,7 @@ public class PreferencesActivity extends PreferenceActivity implements
 
         super.onResume();
         getPreferenceScreen().getSharedPreferences()
-                    .registerOnSharedPreferenceChangeListener(
-                            (OnSharedPreferenceChangeListener)this);
+                    .registerOnSharedPreferenceChangeListener(this);
 
         for (String key : summariesToUpdate) {
             updateSummary(key, false);