Extension for Android preferences