1.12.0

User-Side Changes

• Provide assertions for syntactical features in Java sources based on the AST (see #248, credits to @MarkusPaulsen)
  This allows testing student code for constructs such as loops, conditionals, local classes, exception handling and custom types. For example, assertThatProjectSources().withinPackage("com.example").withLanguageLevel(JAVA_17).hasNo(LoopType.ANY) asserts that all student code in the com.example package does not use any (imperative) loop constructs. In case of violations, we provide detailed failure messages which include the exact location in the source.
• Fixed bad structural test failure messages for classes expected in the default package. (see #293 / 3ea704c, credits to @martinmo)
  Instead of an empty string, the default package in now described as <default> (i.e., no package).
• Update JUnit 5 Jupiter/Platform from 5.9.2/1.9.2 to 5.9.3/1.9.3. See their release notes for details.
• Update from Jqwik version 1.7.2 to version 1.7.3. See their release notes for details.
• Update Logback from 1.4.5 to 1.4.8. See their release notes for details.
• Update from json version 20220924 to version 20230618. See their release notes for details.

Developer-Side Changes

• Enabled pull request merge queues (see the GitHub Docs for more details on merge queues)
• Small dependency updates:
  • spotless-maven-plugin
  • jacoco-maven-plugin
  • maven-clean-plugin
  • maven-enforcer-plugin
  • maven-resources-plugin
  • maven-compiler-plugin
  • maven-surefire-plugin
  • maven-source-plugin
  • maven-javadoc-plugin
  • maven-gpg-plugin
  • maven-install-plugin
  • maven-deploy-plugin
  • maven-site-plugin