Adding compatibility with 11 for java

build.gradle

@@ -12,7 +12,7 @@ ext {
 
 subprojects {
     apply plugin: 'java'
-    sourceCompatibility = 1.11
+    sourceCompatibility = 11
     // version =
 
     sourceSets {

ttool/src/main/java/Main.java

@@ -135,8 +135,7 @@ public class Main implements ActionListener, InterpreterOutputInterface{
             splashFrame.setMessage("Checking Java version");
         }
 
-        String s =  System.getProperty("java.vendor");
-        //String s = Version.getFullVersion().toLowerCase();
+        String s =  System.getProperty("java.vendor").toLowerCase();
         //System.out.println("Full version:" + s);
         if (!s.contains("oracle")) {
             System.out.println("** WARNING: you seem to use a Java Virtual Machine not provided by Oracle **.\n " +