Applied crawljax code formatting