Paul Huebner
Paul Huebner
All the (JUnit5) tests in this project pass when running them through our IDE or the Gradle task. But I cannot run mutation tests when I run the PIT Gradle...
Hi, I am adding this API to my Minecraft plugin, and it seems to be throwing an error at me, Apparently it cannot find the class, but I've checked the...
See https://answers.ewi.tudelft.nl/posts/20091. Should be quite easy to do, as long as all our dependencies support JDK 19 🙈
Hi all, This PR fixes [JDK-8370479](https://bugs.openjdk.org/browse/JDK-8370479), as we currently don't emit barriers correctly. Tested tiers 1-3. ## Context If we consider a value class/record that contains a single field, which...