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/?p=jpf-core.git;a=commitdiff_plain;h=3145abb4aa9973845be7760d6c882bd577fa58e4;hp=ab38506931602e4fab913e5b24428246d6e46f70

Merge branch 'dev' into dev
---

diff --git a/.travis.yml b/.travis.yml
index 698895c..f55afb8 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,11 +1,17 @@
 language: java
 before_install:
-  - sudo apt-get install junit4
   - mkdir ~/junit
   - 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
\ No newline at end of file