Make the JSS class-loading test portable for Windows?
Make the JSS class-loading test portable for Windows?

Round two: I forgot that '$JSS' includes an 'eval', so I need to
quote/escape the semicolon search-path separator on Windows.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script