From b3f545dde8a9b4841fabf33d0bccb23928dd80d0 Mon Sep 17 00:00:00 2001
From: Eugene Petrenko <eugene.petrenko@jetbrains.com>
Date: Tue, 17 Dec 2019 14:55:06 +0100
Subject: [PATCH] UnknownSdkType - disallow creation by user

GitOrigin-RevId: cc9813e5b805b5e9d61e43c882ad5f2e6e6d453a
---
 .../intellij/openapi/projectRoots/impl/UnknownSdkType.java   | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/platform/lang-api/src/com/intellij/openapi/projectRoots/impl/UnknownSdkType.java b/platform/lang-api/src/com/intellij/openapi/projectRoots/impl/UnknownSdkType.java
index 97905a81f886..b200efd53349 100644
--- a/platform/lang-api/src/com/intellij/openapi/projectRoots/impl/UnknownSdkType.java
+++ b/platform/lang-api/src/com/intellij/openapi/projectRoots/impl/UnknownSdkType.java
@@ -83,4 +83,9 @@ public class UnknownSdkType extends SdkType{
   public Icon getIcon() {
     return AllIcons.Nodes.UnknownJdk;
   }
+
+  @Override
+  public boolean allowCreationByUser() {
+    return false;
+  }
 }