- public Stream getStream() { return all.getStream(); }
- public int getNumLines() { return all.getNumLines(); }
- public int getLength() { return all.getLength(); }
+ public Stream getStream() { return all.getStream(); }
+ public int getNumLines() { return all.getNumLines(); }
+ public long getLength() { return all.getLength(); }