Preferences manager to simplify access to an Android application's preferences.