From: Willem Visser <willemvisser@rek443068.sun.ac.za>
Date: Wed, 18 Apr 2018 11:06:32 +0000 (+0200)
Subject: Merge branch 'dev' of https://github.com/javapathfinder/jpf-core into dev
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=9aa7d098f3abde6401e8d01c85bdde5b92c226a0;p=jpf-core.git

Merge branch 'dev' of https://github.com/javapathfinder/jpf-core into dev
---

9aa7d098f3abde6401e8d01c85bdde5b92c226a0