Fix encoding in akka/project/build.properties