We never want to use org.jboss.spec.* dependencies, preferring instead the official Jakarta EE spec jars. To avoid them creeping into the build, we should add them to the prohibited dependencies.