Software Specifications for Scala - forked to fix travis-ci integration