UsingPreferencesActivity.java: additions