Make getSessionPreferences() final