From 54731f658e7f756b03d0233ce24cef6b51c2971e Mon Sep 17 00:00:00 2001
From: Matthias Gugel <matthias.gugel@idetools.de>
Date: Sat, 11 Dec 2021 22:01:38 +0100
Subject: [PATCH] Upgrade gradle plugins

---
 build.gradle.kts | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/build.gradle.kts b/build.gradle.kts
index 6786fa2..486b8b3 100644
--- a/build.gradle.kts
+++ b/build.gradle.kts
@@ -1,6 +1,6 @@
 plugins {
-    id("org.jetbrains.intellij") version "0.6.5"
-    kotlin("jvm") version "1.4.10"
+    id("org.jetbrains.intellij") version "1.3.0"
+    id("org.jetbrains.kotlin.jvm") version "1.5.10"
 }
 
 val pluginVersion: String by project
@@ -19,10 +19,10 @@ dependencies {
 
 // See https://github.com/JetBrains/gradle-intellij-plugin/
 intellij {
-    version = platformVersion
+    version.set(platformVersion)
 }
 tasks.getByName<org.jetbrains.intellij.tasks.PatchPluginXmlTask>("patchPluginXml") {
-    changeNotes("""
+    changeNotes.set("""
       <h3>[1.2]</h3>
 
       <ul>