testing some changes to see if i can fix DeveloperPreference.java