From ac345b52ad7dda3dfbcf25c9624c248e8493e475 Mon Sep 17 00:00:00 2001
From: Andrey Uskov <Andrey.Uskov@jetbrains.com>
Date: Thu, 27 Jun 2019 19:43:03 +0300
Subject: [PATCH] Facet serialization changed in order to keep compatibility
 with previous versions of Kotlin plugin

Original commit: 404ce1a8c1d2502bf9218f6fb017c86c802cdfc6
---
 .../src/org/jetbrains/kotlin/config/facetSerialization.kt        | 1 +
 1 file changed, 1 insertion(+)

diff --git a/jps/jps-common/src/org/jetbrains/kotlin/config/facetSerialization.kt b/jps/jps-common/src/org/jetbrains/kotlin/config/facetSerialization.kt
index 91dca316390..92c7d934f64 100644
--- a/jps/jps-common/src/org/jetbrains/kotlin/config/facetSerialization.kt
+++ b/jps/jps-common/src/org/jetbrains/kotlin/config/facetSerialization.kt
@@ -296,6 +296,7 @@ private fun KotlinFacetSettings.writeLatestConfig(element: Element) {
     val filter = SkipDefaultsSerializationFilter()
 
     targetPlatform?.let {
+        element.setAttribute("platform", it.oldFashionedDescription)
         element.setAttribute("allPlatforms", it.componentPlatforms.map { it.serializeToString() }.joinToString(separator = "/"))
     }
     if (!useProjectSettings) {