Used crawljax-formatter for duplicate detection package
Used formatter on our changes in the state package