diff --git a/.travis.yml b/.travis.yml
index 7f45261..58b14c3 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,6 +1,12 @@
 language: java
 install: true
 
+sudo: false
+addons:
+  apt:
+    packages:
+      - oracle-java8-installer
+
 before_install:
   - chmod +x gradlew
 
diff --git a/pandamonium-theorem-prover/.travis.yml b/pandamonium-theorem-prover/.travis.yml
index 8ed8a6c..4113662 100644
--- a/pandamonium-theorem-prover/.travis.yml
+++ b/pandamonium-theorem-prover/.travis.yml
@@ -18,8 +18,8 @@ stages:
 jobs:
   include:
     - stage: build
-      script: ./gradlew build
+      script: ./pandamonium-theorem-prover/gradlew build
     - stage: unitTest
-      script: ./gradlew test
+      script: ./pandamonium-theorem-prover/gradlew test
     - stage: integrationTest
-      script: ./gradlew integrationTest
\ No newline at end of file
+      script: ./pandamonium-theorem-prover/gradlew integrationTest