Document that xtext now forces Java 11 in the dependency tree :(

eclipse-xtext/xtext#1972 eclipse-xtext/xtext#1804
UBC-Stat-ML · Jan 10, 2022 · 3c2d52d · 3c2d52d
1 parent e8164bc
commit 3c2d52d
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 5 deletions.
diff --git a/src/main/java/blang/runtime/internals/doc/contents/BlangCLI.xtend b/src/main/java/blang/runtime/internals/doc/contents/BlangCLI.xtend
@@ -21,8 +21,7 @@ class BlangCLI {
 
         it += '''The «SYMB»git«ENDSYMB» command'''
 
-        it += '''The Java Software Development Kit (SDK), version 8 or more recent (at the time of publication, 
-        «SYMB»Open SDK«ENDSYMB» 8 and 11 are tested). The Java runtime environment is not sufficient, as 
+        it += '''The Java Software Development Kit (SDK), version 11. The Java runtime environment is not sufficient, as 
         compilation of models requires compilation into the Java Virtual Machine. Type «SYMB»javac -version«ENDSYMB» to 
         test if the Java SDK is installed. If not, the Java SDK is freely available at 
         «LINK("https://openjdk.java.net/")»https://openjdk.java.net/«ENDLINK».'''

diff --git a/src/main/java/blang/runtime/internals/doc/contents/BlangIDE.xtend b/src/main/java/blang/runtime/internals/doc/contents/BlangIDE.xtend
@@ -16,8 +16,7 @@ class BlangIDE {
 
       section("System requirements") [
         it += '''
-          The only requirement is that 
-          «LINK("http://www.oracle.com/technetwork/java/javase/downloads/jdk8-downloads-2133151.html")»Java 11 SDK«ENDLINK»
+          The only requirement is that Java 11 SDK
           should be installed on the system.'''
 
       ]

diff --git a/src/main/java/blang/runtime/internals/doc/contents/Home.xtend b/src/main/java/blang/runtime/internals/doc/contents/Home.xtend
@@ -42,7 +42,7 @@ class Home {
     
     it += '''
       If you have one more minute to spare, let us see what happen when we run this model (if you want to try at home, 
-      all you need to run this is «LINK("https://openjdk.java.net/")»Open or Oracle SDK 8 SDK«ENDLINK» 
+      all you need to run this is «LINK("https://openjdk.java.net/")»Open or Oracle SDK 11 SDK«ENDLINK» 
       and git installed):
     '''