code: public static void setDefaultJMXDomain (@Nonnull @Nonempty final String sDefaultJMXDomain)
    {
      ValueEnforcer.notEmpty (sDefaultJMXDomain, "DefaultJMXDomain");
      if (sDefaultJMXDomain.indexOf (':') >= 0 || sDefaultJMXDomain.indexOf (' ') >= 0)
        throw new IllegalArgumentException ("defaultJMXDomain contains invalid chars: " + sDefaultJMXDomain);
  
      s_aRWLock.writeLocked ( () -> s_sDefaultJMXDomain = sDefaultJMXDomain);
    }
docs: Set the default JMX domain
  
  @param sDefaultJMXDomain
  The new JMX domain. May neither be <code>null</code> nor empty nor
  may it contains ":" or " "