Save Workspace

Saves the settings made to the preferences. Also saves the parser database. Note that the workspace is automatically saved whenever it is closed (e.g. by shutting down AnyJ or opening another workspace).