Upgrading sbt-launch.jar to SBT version 0.13.1 (is always backwards compatible with previous SBT versions as declared in build.properties)
Testing setup.py, found issues with start and stop, and fixed.