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

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

da6a38bb8d6e0e2806dbdba982cd07a314ae12bf