docs: protected String extractAttribute(String name, String line) {
          int i = line.indexOf(name + "=\"");
          i = i == -1 ? i : i + name.length() + 2;
          int j = i == -1 ? -1 : line.indexOf("\"", i);
          return j == -1 ? null : line.substring(i, j);
      }