Seems like your not using the Crawljax eclipse formatter hooked to your autosave options. Please do so to prevent these kind of diffs that are not an actual difference.