Wrong worker-threads default value description in Infinispan server xsd

In build/src/main/resources-ispn/docs/schema/jboss-infinispan-endpoint_6_0.xsd:

Sets the number of worker threads. Defaults two 2 * number of cores

This is correct description for Infinispan Server API, ProtocolServerConfigurationBuilder, but server distribution employs different default value.

In integration/src/main/java/org/infinispan/server/endpoint/subsystem/ProtocolServiceSubsystemAdd.java:

private static final int DEFAULT_WORKER_THREADS = 160;

It actually uses 160.