Draws an arrow at the end of a loop.
Implemented ACWith invariant highlighting for a single column
Slight nits.
Closing branch.
Merged Issue142 branch into default.
Added back .classpath to synopticgwt
Implemented NCwith invariants, linked concurrency invariants to table, and extended invariants to all three graphicevent columns
Refactored option processing.
Merged InvDFAMin branch into default.
New branch created for Issue155. extraRegExpPanel renamed to regExpPanel.
Closing branch.
Merging Issue117-Reopen branch into default.
Fix for Issue115. If there is a single regular expression field, don't have a "delete" button. If greater than one regular expression input, then all of them have a "delete" button.
Updated Issue155 with changes in default. Had to manually resolve some conflicts.
Merged with default branch
Addressed code review comments from revision a900e7c47380.
Addressed code review comments from revision 560e92868a11.
Merged Issue155 branch into default.
Created GWTNode class.  Edited code that creates model for model tab to use GWTNode.  Many bugs introduced.  Hopefully fixed in next commit.
Merged with default