From 9c045b7da9ae36dfc01bc1162472ce9300b979de Mon Sep 17 00:00:00 2001
From: Antonin Delpeuch <antonin@delpeuch.eu>
Date: Tue, 1 Aug 2017 15:35:36 +0100
Subject: [PATCH] Remove OracleJDK7 from the build. Fixes #1223.

---
 .travis.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index c7ecf9d16..a868c3cd2 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,7 +1,6 @@
 language: java
 jdk:
   - oraclejdk8
-  - oraclejdk7
   - openjdk7
   
 script: ./refine test