synchronized the CoreDataManager. added methods to check for changes since last save to Saveable, SaveManager and JProbeCore. Defined methods flushAndSuspend(), resume(), and terminate() to the SaveManager. Need to implement them for manipulating the save thread
added new workspace menu item. gui now checks whether workspace has changed and asks if save desired before exiting, opening a workspace, or opening a new workspace.
created and implemented SaveThread class for saving in a background thread.
Save and load logged. Fixed accelerator key mods for open and new workspace menu items. TimeStampJournal reports the writing thread.
Moved autosave and autoload last workspace functionality into the GUI plugin'
fixed GUI plugin manifext to import the util package. SaveLoadUtil LAST_WORKSPACE_FILE is now volatile for thread safety with the autosave thread
Added Save and Load events to the JProbeCore. Created NotificationPanel to display save and load events to the user in the GUI. Appears to work as intended
implemented RandomRemovalArgument and RandomSeedArgument to allow probes to be randomly removed by the ProbeFilter function and for the user to set the random seed used, if desired.