diff --git a/CHANGELOG.md b/CHANGELOG.md
index d7ac58555991f2be7fbc0efecf8d985b7a26d581..eda253c44f8c0a13ee1a81257a2e88111c27dc03 100644
--- a/CHANGELOG.md
+++ b/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]
 
diff --git a/gradle.properties b/gradle.properties
index 16b68b231aa7308e231f803fb1a92b9ad033e7f9..859f1e75550bf41b93008e52ab0c136bf660cd8b 100644
--- a/gradle.properties
+++ b/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