jboss-as-infinispan_4_0.xsd uses the same type thread-pool for all thread pool definitions.

However, InfinispanSubsystemXMLReader uses a special method parseScheduledThreadPool() for the EXPIRATION_THREAD_POOL which accepts fewer attributes than parseThreadPool().