}
// To have fallen through, the response code had to have been ok.
// Now parse out the editform into the utility class HtmlForm.
HtmlForm form = new HtmlForm("editform", HtmlForm.POST, "", "");
// HtmlUtilities.extractForm("editform", responseBody);
new HtmlFormExtractor(form).extractContent(responseBody);
String empty = "";
String startTime = empty, editTime = empty, editText = empty, autoSummary = empty, editToken = empty;
if (form != null) {
int sz = form.getElementCount();
// Step through the form elements to find key items needed to
// construct an instance of EditFormData.
for (int i = 0; i < sz; i++) {
HtmlForm.Element element = form.getElement(i);
HtmlForm.ElementAttribute nameAttr = element.getElementAttributeByName("name");
HtmlForm.ElementAttribute valueAttr = element.getElementAttributeByName("value");
String name = nameAttr != null ? nameAttr.getValue() : null;