sources have been reformatted by sbt