Here’s a short slide deck which Vladimir Ivanov prepared to show how to use the AOT-optimizing features in the current Leyden premain branch with the Spring PetClinic application: https://openjdk.org/projects/leyden/slides/leyden-premain-petclinic-2023-09-12.pdf - Mark