public void dispose(boolean save) {
		if (save) {
			save();
		}
		// Can't really dispose of the global preferences,
		// so only do the remaining cleanup for non-global preferences.
		if (INSTANCE != this) {
			mPrefs = null;
			mFile = null;
			mNotifier = null;
		}
	}