Cleaned up synchronization strategy in AbstractMasterJVM and MainJVM. Introduced immutable state objects in MainJVM to deal cleanly with concurrent state-change requests. Tests failures related to discard() invocations should no longer occur. Also updated plt.jar (and related dependents).