You are not using the correct code formatter. See "Formatting Code" in https://github.com/crawljax/crawljax/wiki/Contributing-to-Crawljax-code