Thanks again, Adrian. It didn't occur to me to look in the optional libs of jboss. It brings up an interesting dilema, though. Because that package is not part of the base JBoss, it may or may not be present for use in a customer location. Specifically, that jar is not included in the minimal installation.
Minimal is intended as jndi server.
I doubt you would need a scheduler for that,
but even so, you can include it in your documentation
as a dependency.