Fixed a small issue that had to do with RESOLVE's archiver expecting 'RESOLVE-Workspace' to be simply 'RESOLVE' -- which messed up added sourcefiles to the archiver. This solution allows our current directory naming scheme that we all have grown to know and love.
Killed excess print statement in Archiver.java
Merge pull request #82 from Welchd1/jar-path-fix

Fixed a small issue with workspace file paths in the archiver.
changed the mathematical syntactic sugar to the corresponding operation calls
Merge pull request #83 from yushan87/processing

changed the mathematical syntactic sugar to the corresponding operation ...