From: Willem Visser Date: Wed, 18 Apr 2018 07:17:19 +0000 (+0200) Subject: Merge pull request #13 from gayanW/dev X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=95af3c8a49a7fd07ead0a8b345415a2b6375e9a3;p=jpf-core.git Merge pull request #13 from gayanW/dev Make Travis build against latest available oracle-jdk --- 95af3c8a49a7fd07ead0a8b345415a2b6375e9a3