fixed a bug in SymbolicUnifier
fixed more bugs...
fixed even more bugs
changed the config file of simple-typed-static to test the fast rewriter instead of the normal ground rewriter
removed the annoying jcommander.internal.Lists
fixed copyright
Merge pull request #915 from yilongli/fixing-several-bugs-in-Java-backend

Fixing several bugs in java backend