Bump sbt in build.properties to 0.13.7
Reorganized java options settings