add support for 2023.1 and update changelog

CHANGELOG.md

@@ -15,7 +15,7 @@
   - Attributes and inter-type declarations are shown sorted by aspect.
   - There are toggle buttons to show or hide attributes, inter-type declarations and rewrites.
   - Note that things outside aspects, equations and some other elements are not yet included.
-- Support for IntelliJ IDEA 2022.3.
+- Support for IntelliJ IDEA 2022.3 and 2023.1.
 
 ### Changed
 
@@ -26,6 +26,7 @@
 ### Fixed
 - A bug for type name refactoring in grammar files which prevented the actual definition from being renamed.
 - Wrong inspection messages related to names in wrappers of injected java code ("x", "m", "X").
+- A bug that required a visibility modifier in refined constructors.
 
 ## [0.2.0]
 

gradle.properties

@@ -8,14 +8,14 @@ pluginVersion = 0.3.1
 # See https://plugins.jetbrains.com/docs/intellij/build-number-ranges.html
 # for insight into build numbers and IntelliJ Platform versions.
 pluginSinceBuild = 211
-pluginUntilBuild = 223.*
+pluginUntilBuild = 231.*
 
 # Plugin Verifier integration -> https://github.com/JetBrains/gradle-intellij-plugin#plugin-verifier-dsl
 # See https://jb.gg/intellij-platform-builds-list for available build versions.
-pluginVerifierIdeVersions = 2021.1.3, 2021.2.4, 2021.3.3, 2022.1.4, 2022.2.4, 2022.3.1
+pluginVerifierIdeVersions = 2021.1.3, 2021.2.4, 2021.3.3, 2022.1.4, 2022.2.4, 2022.3.1, 2023.1.2
 
 platformType = IC
-platformVersion = 2021.3.1
+platformVersion = 2023.1.2
 platformDownloadSources = true
 
 # Plugin Dependencies -> https://plugins.jetbrains.com/docs/intellij/plugin-dependencies.html