// 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) {