this.lineNum = lineNum;
  public LineTable(long start, long end, int lines, long lineCI[],                   int lineNum[])  {    this.start = start;    this.end = end;    this.lines = lines;    this.lineCI = lineCI;    this.lineNum = lineNum;  }