From 3a07c53a61338ed5a5bfb35f87800dd38090523b Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Thu, 12 Jul 2018 16:03:59 +0200
Subject: [PATCH] Travis configuration: Add JDK10 as a CI target JVM

Should be supported by Travis CI now, let's see if this works...
---
 .travis.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.travis.yml b/.travis.yml
index 9d2314b6..3516f148 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -10,6 +10,7 @@ language: java
 jdk:
   - oraclejdk8
   - oraclejdk9
+  - oraclejdk10
   
 # compile and run the test suite
 script: cd prism && make && echo 'Compilation successful, running test suite....' && echo && make tests && echo && echo 'Yay'