os.writeInt(lines); for (int i = 0; i < lines; i++)
os.writeInt(lineNum.length); for (int i = 0; i < lineNum.length; i++)
  public void write(DataOutputStream os)    throws IOException  {    os.writeLong(start);    os.writeLong(end);    os.writeInt(lines);    for (int i = 0; i < lines; i++)      {        os.writeLong(lineCI[i]);        os.writeInt(lineNum[i]);      }  }