diff --git a/pandamonium-theorem-prover/.travis.yml b/pandamonium-theorem-prover/.travis.yml
index 8ed8a6c..d34c3ad 100644
--- a/pandamonium-theorem-prover/.travis.yml
+++ b/pandamonium-theorem-prover/.travis.yml
@@ -1,12 +1,6 @@
 language: java
 install: true
 
-sudo: false
-addons:
-  apt:
-    packages:
-      - oracle-java8-installer
-
 before_install:
   - chmod +x gradlew