Implemented a PreferenceManager that remembers user preferences like the
user name across sessions;