[jboss-jira] [JBoss JIRA] (WFLY-6548) Default value for "stop-timeout" mentioned in jboss-as-infinispan_4_0.xsd differs from actually used