Added ability to write to UploadedLog table.
Added ability to write to SplitReExp and PartitionExp table.
Completed ability to make all writes needed to the database. Still haven't complete contents of result.
Fixed a query mistake related to LogReExp table.
Added a script to build a synoptic distribution from scratch. Fixed path-dependencies in end-to-end tests when run from synoptic.jar. Cleaned up build.xml and jar resource code in Main.java.
Made paths platform independent.
Added FlowLayoutPanel, a new gwt dependency.
Refactored synoptic options, fixed up invarimint options processing dependencies, and lots of refactoring.
Fixed issue 225
Remnant of issue 225
Closing InvDFAMinimization branch. Moving to InvariMint branch.
Created InvariMint branch.
Bugs removed and logic for node highlighting has been cleaned up.  State invariants commented.
graphhandler.js has been removed.
Moved approptiate code into ModelGraphic.  Fixed some small bugs with model state.  Removed JS file from Synoptic.jsp
Added abp trace with distinct recv_m0 and recv_m1.
Cleaned up slaml11 benchmarking traces.
Updated .hgignore and added .project for InvariMint.
Added a finalize method to close DerbyDB.
Added a test for DerbyDB. Extended AppConfigurationTests.java to check DerbyDB fields on null context.