From: Willem Visser <willem@gmail.com>
Date: Wed, 18 Apr 2018 07:10:24 +0000 (+0200)
Subject: Merge branch 'dev' into dev
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=3145abb4aa9973845be7760d6c882bd577fa58e4;p=jpf-core.git

Merge branch 'dev' into dev
---

3145abb4aa9973845be7760d6c882bd577fa58e4
diff --cc .travis.yml
index 71bfc44,698895c..f55afb8
--- a/.travis.yml
+++ b/.travis.yml
@@@ -4,14 -5,7 +4,14 @@@ before_install
    - ln -s /usr/share/java/junit4.jar ~/junit
    - ln -s /usr/share/java/hamcrest-core.jar ~/junit
    - export JUNIT_HOME=~/junit
 +
  install: ant test
 +
  jdk:
    - oraclejdk8
 -  - openjdk8
 +
 +addons:
 +  apt:
 +    packages:
 +      - oracle-java8-installer
-       - junit4
++      - junit4