Chore/support for intellij 2023.1

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]