Making Javis compatible with the latest Crawljax version.