From: Willem Visser <willem@gmail.com>
Date: Wed, 18 Apr 2018 11:35:19 +0000 (+0200)
Subject: Merge pull request #14 from javapathfinder/dev
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff_plain;h=3204ee669cb55ea1560d52346cf2ed932a1931c5

Merge pull request #14 from javapathfinder/dev

Use current jdk version in travis
---

3204ee669cb55ea1560d52346cf2ed932a1931c5