private static void writeSegmentAttributes(@NotNull JsonWriter jsonWriter, Element segment) throws IOException {
    String line = segment.getAttributeValue(LINE);
    String start = segment.getAttributeValue("start");
    String end = segment.getAttributeValue("end");
    assert line != null;
    assert start != null;
    assert end != null;
    jsonWriter.name(LINE).value(Integer.parseInt(line));
    jsonWriter.name("start").value(Integer.parseInt(start));
    jsonWriter.name("end").value(Integer.parseInt(end));
  }
private static void writeSegmentAttributes(@NotNull JsonWriter jsonWriter, Element segment)