diff --git a/.travis.yml b/.travis.yml
index 7a2a90b..20c1059 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -4,12 +4,6 @@ services:
 
 install: true
 
-sudo: false
-addons:
-  apt:
-    packages:
-      - oracle-java8-installer
-
 before_install:
   - chmod +x pandamonium-theorem-prover/gradlew
   - cd pandamonium-theorem-prover