src/com.example.a1/UsingPreferencesActivity.java: added