Since we do not use SPIN, the references to it should be removed.
In addition, currently there are problems with getting from the remote - see below:
#11 0.247 ================================= install SPIN 2.0.0
#11 0.247 Downloading https://www.topquadrant.com/repository/spin/org/topbraid/spin/2.0.0/spin-2.0.0-distribution.zip:
#11 0.771 [/var/tmp/spin-2.0.0-distribution.zip]
#11 0.771 End-of-central-directory signature not found. Either this file is not
#11 0.771 a zipfile, or it constitutes one disk of a multi-part archive. In the
#11 0.771 latter case the central directory and zipfile comment will be found on
#11 0.771 the last disk(s) of this archive.
#11 0.771 unzip: cannot find zipfile directory in one of /var/tmp/spin-2.0.0-distribution.zip or
#11 0.771 /var/tmp/spin-2.0.0-distribution.zip.zip, and cannot find /var/tmp/spin-2.0.0-distribution.zip.ZIP, period.
Since we do not use SPIN, the references to it should be removed. In addition, currently there are problems with getting from the remote - see below: