AppPreferenceActivity.java: additions