From 3569ca1d72ff87047605dac0b851b3c944d49d8a Mon Sep 17 00:00:00 2001
From: anstarovoyt <andrey.starovoyt@jetbrains.com>
Date: Tue, 4 Dec 2018 17:27:48 +0300
Subject: [PATCH] fix compiling

---
 .../devkit-core/src/completion/UiDefaultsHardcodedKeys.java     | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/plugins/devkit/devkit-core/src/completion/UiDefaultsHardcodedKeys.java b/plugins/devkit/devkit-core/src/completion/UiDefaultsHardcodedKeys.java
index 8e0ef007f3fa..b56a093413d9 100644
--- a/plugins/devkit/devkit-core/src/completion/UiDefaultsHardcodedKeys.java
+++ b/plugins/devkit/devkit-core/src/completion/UiDefaultsHardcodedKeys.java
@@ -1427,7 +1427,7 @@ public final class UiDefaultsHardcodedKeys {
     "WelcomeScreen.groupIconBorderColor",
     "WelcomeScreen.headerBackground",
     "WelcomeScreen.headerForeground",
-    "WelcomeScreen.separatorColor",
+    "WelcomeScreen.separatorColor"
   );
 
   public static final Set<String> ALL_KEYS = ContainerUtil.unmodifiableOrEmptySet(ContainerUtil.union(UI_DEFAULTS_KEYS, NAMED_COLORS));