Example of how to use the Preferences API in the Android SDK