Subject: Jenkins build became unstable: asterix-integration-tests 342bd342

From: Asterix build server <[email-masked]>
Date: Fri, 8 Sep 2017 18:56:17 -0700 (PDT)

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

---

From: Asterix build server <[email-masked]>
Date: Sun, 10 Sep 2017 19:28:46 -0700 (PDT)

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

---

From: Asterix build server <[email-masked]>
Date: Sun, 10 Sep 2017 23:31:35 -0700 (PDT)