Consider an acceptable alternative to javadoc verification #95
Description
Due to the transition to jspecify, the build crashes with the previous javadoc check that we had (see efd3cf5). Therefore, I believe that any other acceptable javadoc check would suit us. I am more inclined to think that this could be a normally configured checkstyle.