Make sure no shared state beyond open recent about aluminum

[tnelson]

The recent files are maintained via java's standard Preferences library. See the addHistory method, referencing the get/setter of Alloy's StringPref class. The key is tied to package name. See:

http://docs.oracle.com/javase/1.4.2/docs/api/java/util/prefs/Preferences.html#userNodeForPackage(java.lang.Class)

Location of saved values:
Windows location: HKEY_CURRENT_USER\Software\JavaSoft\Prefs\edu\mit\csail\sdg\alloy4
Mac location not confirmed, but check ~/Library/Preferences/

[tnelson]

Confirming that in Fedora, my prefs are in:
/home/tim/.java/.userPrefs

Contains saved options and prior specs. (E.g. font info, verbosity, etc.)

[tnelson]

After discussion with the group, going to separate options entirely before closing the issue.

[tnelson]

Closing the issue. Removed the settings overlap. We now have our own settings.