XSpec/XSLT code coverage and Java version

Hi, all.

Are you an XSpec user who wants to generate XSLT code coverage reports? If so,
is it important for you to be able to use Java 11 when generating such
reports?

Background: We just released XSpec v3.3 yesterday, and we want the next
version to drop support for Java 8. The question is whether the minimum Java
version should become 11 or 17. In most areas, the Java requirements of XSpec
are really the Java requirements of underlying XSLT/XQuery/XProc processors.
Code coverage reporting is different, because XSpec has its own Java code.

By way of comparison: XML Calabash 3 requires Java 11; BaseX 12.0 requires
Java 17; Oxygen 27.1 bundles Java 17; Saxon 12.9 says it is usable with Java 8
but is built/tested with Java 21.

Thanks for any input.

Amanda