docs: @Trivial
      private static String replaceWhitespace(String value) {
          final int length = value.length();
          for (int i = 0; i < length; ++i) {
              char c = value.charAt(i);
              if (c < 0x20 && (c == 0x9 || c == 0xA || c == 0xD)) {
                  return replace0(value, i, length);
              }
          }
          return value;
      }