From: Jeanderson Barros Candido <jeandersonbc@gmail.com>
Date: Wed, 11 Jul 2018 22:21:08 +0000 (-0300)
Subject: Merge pull request #98 from jeandersonbc/master
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=372f387cec6bfb9993009f331f86f01d069653e7;p=jpf-core.git

Merge pull request #98 from jeandersonbc/master

Support to Gradle Build and Repository Cleanup
---

372f387cec6bfb9993009f331f86f01d069653e7