Restart lantern service on lantern (re)install.
Fix misleading file extension.
Download JREs; now needed for building wrappers.