From 03df0f1164d5109f8e7dfa905ada97a538013851 Mon Sep 17 00:00:00 2001
From: Ilya Kirillov <ilya.kirillov@jetbrains.com>
Date: Thu, 8 Nov 2018 19:58:09 +0300
Subject: [PATCH] New J2K: Add default mutability to property in
 FieldToPropertyConversion

---
 .../kotlin/j2k/conversions/FieldToPropertyConversion.kt         | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/j2k/newSrc/org/jetbrains/kotlin/j2k/conversions/FieldToPropertyConversion.kt b/j2k/newSrc/org/jetbrains/kotlin/j2k/conversions/FieldToPropertyConversion.kt
index 7ede2f25533..4404756ab92 100644
--- a/j2k/newSrc/org/jetbrains/kotlin/j2k/conversions/FieldToPropertyConversion.kt
+++ b/j2k/newSrc/org/jetbrains/kotlin/j2k/conversions/FieldToPropertyConversion.kt
@@ -56,7 +56,7 @@ class FieldToPropertyConversion : RecursiveApplicableConversionBase() {
                     JKKtPropertyImpl(field.modifierList, field.type, field.name, field.initializer, JKBlockImpl(), JKBlockImpl())
 
                 declarations.remove(field)
-
+                property.modifierList.mutability = Mutability.NonMutable
                 val getter = info.getter
                 if (getter?.fieldFromGetter(field.name.value) == field) {
                     declarations.remove(getter)