Subject: Jenkins build is unstable: asterix-integration-tests 9b9dc22a

From: Asterix build server <[email-masked]>
Date: Wed, 6 Sep 2017 12:50:38 -0700 (PDT)

See <https://asterix-jenkins.ics.uci.edu/job/asterix-integration-tests/858/changes>

---

From: Asterix build server <[email-masked]>
Date: Wed, 6 Sep 2017 16:33:48 -0700 (PDT)

See <https://asterix-jenkins.ics.uci.edu/job/asterix-integration-tests/859/changes>