Updating Javis to be consistent with the latest crawljax version.