code: public static String encode(String pathPart) {
          // jenkins doesn't like the + for space, use %20 instead
          try {
              return URLEncoder.encode(pathPart, StandardCharsets.UTF_8.displayName());
          } catch (UnsupportedEncodingException e) {
              // Should never happen, because that would imply that
              // the parameter StandardCharsets.UTF_8 is wrong.
              throw new IllegalArgumentException(e);
          }
      }
docs: nope