Fixes DEVELOPER-477 (zip -> jar)

Paul, please check to see what is in the download manager. It appears to
be .zip. If it is .zip, do we need to rename it or keep things how they
are currently?