The Wayback Machine - https://web.archive.org/web/20250211184547/https://developer.android.com/reference/java/util/prefs/PreferenceChangeEvent