public Preferences(File prefsFile) {
		mFile = prefsFile;
		mPrefs = new Properties();
		mNotifier = new Notifier();
		if (mFile.exists()) {
			try (InputStream in = new FileInputStream(mFile)) {
				mPrefs.loadFromXML(in);
			} catch (Exception exception) {
				// Throw away anything we loaded, since the file must be corrupted.
				mPrefs = new Properties();
			}
		}
	}