I finally found it.
It would have been nice if you had not only said you found it, but also where you found it. Now I have to inspect all the jars too...
OK, found it:
it's in the jboss.jar or jboss-minimal.jar
in the lib directory of server/all/, server/default/