src/com.example.a1/AppPreferenceActivity.java: add