sbt 0.13.5 final has just been released but I don't want to churn this PR too much by updating it the sbt version right now. Also it would be good to see how Play's update to sbt 0.13.5 works out. :)