fixes to array swapping. added equals method for PosSymbol
Merge pull request #107 from yushan87/array-fixes

fixes to array swapping. added equals method for PosSymbol
some progress on single argument facility declarations
tweaked fix for nullptr crash for modules embedded in FacilityDecs that take only a single argument.
facility declarations referencing modules that take 0 arguments should now translate to java correctly
Merge pull request #108 from Welchd1/java-enhancement-arg-fix

Java facility declaration argument fix
fixed instances where the statements don't get replaced correctly.
updated ST4 plugin to 4.0.8
Merge pull request #109 from yushan87/array-swap-fix

Array swap fix
fix empty facility crashes. also fixed the way the translator forms packages for custom metafiles
Merge pull request #110 from yushan87/translator-customfile-fix

Fixes for Web Interface
added timeout and time taken to process vc inside Metrics.java
Merge pull request #111 from yushan87/prover-metrics

Updates for the WebIDE
throws the appropriate error when a duplicate operation is found
Merge pull request #112 from yushan87/more-fixes

throws the appropriate error when a duplicate operation is found
Sanity checks to make sure all operations are implemented
unused imports
Merge pull request #114 from yushan87/check-all-op-implemented

Sanity checks to make sure all operations are implemented
changes to the ProgramDotExp
Merge pull request #113 from yushan87/ProgramDotExp

changes to the ProgramDotExp