Update docs to name JDK 17 instead of JDK 11 as the requirement for the MPS project

Author: vaclav

.idea/misc.xml

@@ -100,7 +100,7 @@ public void reportIncorrectJDK(Module module, String versionString) {
       @Override
       public void afterWriteActionFinished(@NotNull Object action) {
         if (!myBadJdks.isEmpty()) {
-          String title = "Modules with MPS facet only support JDK 11 and later";
+          String title = "Modules with MPS facet only support JDK 17 and later";
           new Notification("MPS facet", title, getBadJdksMessage(myBadJdks), NotificationType.WARNING).notify(myProject);
           myBadJdks.clear();
         }

IdeaPlugin/mps-core/src/jetbrains/mps/idea/core/project/stubs/MultipleSdkProblemNotifier.java

@@ -39,8 +39,8 @@ How to develop MPS plugin for IntelliJ IDEA
     - configure project settings
             - open IdeaPlugin project from the MPS sources
             - open "Project Structure" dialog
-                - inside "Project Settings/Project" page ensure that project SDK ("JB JDK 11") is configured. If not, configure
-                  new java SDK named "JB JDK 11" & pointing to JetBrains JDK 11 by pressing on "New" button
+                - inside "Project Settings/Project" page ensure that project SDK ("JB JDK 17") is configured. If not, configure
+                  new java SDK named "JB JDK 17" & pointing to JetBrains JDK 17 by pressing on "New" button
                 - inside "Platform Settings/SDKs" create new IntelliJ Platform Plugin SDK named "IDEA IC" & base on
                   project SDK created above
 

IdeaPlugin/readme.txt

@@ -22,10 +22,10 @@ Download IntelliJ IDEA from the JetBrains website. Community edition will work j
 2. Clone your fork to your local machine: git clone [email protected]:<yourGitHubName>/MPS.git. Depending on your internet connection, this may take a long time, MPS is big. Consider using the _--depth_ git parameter to clone only part of the history of the project to save time and space.
 3. It is preferable to work in your own branch, so create a new branch to work in git checkout -b my_branch_name
 4. Open the project in [IntelliJ IDEA](http://www.jetbrains.com/idea) (either Community or Ultimate Edition)
-5. Attach JB JDK 11 to the project
-    1. Download latest JB JDK 11 for your OS and your version of MPS. Go to [the MPS TeamCity site](https://teamcity.jetbrains.com/project/MPS?mode=builds#all-projects), scroll to the build configuration that corresponds to the MPS version that you are trying to build and locate the JDK distribution (e.g. _2021.3 -> Distribution -> Get Resources_). Click on the _Artifacts_ symbol of the last successful build of _Get Resources_ and choose the distribution that you need. Make sure you grab *jbrsdk* not *jbsdk*.
+5. Attach JB JDK 17 to the project
+    1. Download latest JB JDK 17 for your OS and your version of MPS. Go to [the MPS TeamCity site](https://teamcity.jetbrains.com/project/MPS?mode=builds#all-projects), scroll to the build configuration that corresponds to the MPS version that you are trying to build and locate the JDK distribution (e.g. _2022.2 -> Distribution -> Get Resources_). Click on the _Artifacts_ symbol of the last successful build of _Get Resources_ and choose the distribution that you need. Make sure you grab *jbrsdk* not *jbsdk*.
     2. *Main menu -> File -> Project Structure* opens the Project Structure dialog
-    3. Under *Platform Settings -> SDK*, add a new JDK named "JB JDK 11"
+    3. Under *Platform Settings -> SDK*, add a new JDK named "JB JDK 17"
 6. Additionally, create an *IntelliJ Platform Plugin SDK* in the same *Platform Settings -> SDK* dialog and name it "IDEA IC".
 The *ideaIntegrationCommon*, *IDEAPlugin* and *ups-idea-plugin* modules need this SDK and they will be using it automatically as soon as you create it and give it the "IDEA IC" name.
 For more details on how to add an IntelliJ Platform Plugin SDK, consult this [help page](http://www.jetbrains.org/intellij/sdk/docs/basics/getting_started/setting_up_environment.html).
@@ -46,7 +46,7 @@ _MPS is licensed under the Apache 2 open-source license. See the [complete MPS l
 System requirements
 -------------------
 
-To build JetBrains MPS from sources you need JDK 11. Older JDK versions are currently not supported for building MPS from sources.
+To build JetBrains MPS from sources you need JDK 17. Older JDK versions are currently not supported for building MPS from sources.
 
 IntelliJ IDEA Community or Ultimate edition shall be used to open the project. The versions of IntelliJ IDEA must reflect the version (branch) of the MPS project that you are opening:
 * IDEA 2019.3.* for MPS 2019.3 and the 193.* branches

README.md

@@ -24,7 +24,7 @@ CONTENTS
 	samples.zip         sample projects
 
 SYSTEM REQUIREMENTS
-    To run JetBrains MPS you need JDK 11.
+    To run JetBrains MPS you need JDK 17.
 
 HOW TO START
     1. Unpack the JetBrains MPS distribution file to whenever you wish to install the program.