No tcl tests in /home/travis/build/icyphy/ptII/ptolemy/domains/tcs/test
No auto/knownFailedTests/*.xml tests in /home/travis/build/icyphy/ptII/ptolemy/domains/tcs/test
No auto/linux-amd64/*.xml tests in /home/travis/build/icyphy/ptII/ptolemy/domains/tcs/test
AutoTests.java: About to close Vertx.
AutoTests.java: Vertx closed.
No auto/*.xml tests in /home/travis/build/icyphy/ptII/ptolemy/domains/tcs/test
AutoTests.java: About to close Vertx.
AutoTests.java: Vertx closed.