docs: protected void setProcessName(String newProcessName) {
          if (newProcessName == null) {
              processName = getDefaultProcessName();
              return;
          } else if (!newProcessName.matches("[\\p{L}\\p{N}\\+\\_][\\p{L}\\p{N}\\-\\+\\.\\_]*")) {
              // Translation of the above regex for the faint of heart:
              // The first character can be a +, an _, a unicode letter \p{L}, or a unicode number \\p{N}
              // Subsequent characters can be any of the above, in addition to a . and a -
              throw new LocationException("Bad server name: " + newProcessName, MessageFormat.format(BootstrapConstants.messages.getString(getErrorProcessNameCharacterMessageKey()),
                                                                                                     newProcessName));
          } else
              // use the new server name
              processName = newProcessName;
      }