Merge branch 'dev' of https://github.com/javapathfinder/jpf-core into dev

diff --git a/.travis.yml b/.travis.yml
index 698895c09bc86b53fb07040561cd7bd5c6db2a1c..f55afb8a9c579811098f8f6f83904425b494314f 100644 (file)
--- 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