* input stream to read execution data from
* @throws IOException
* if the stream does not have a valid header
*/
public ExecutionDataReader(final InputStream input) throws IOException {
this.in = new CompactDataInput(input);
in.readByte();
readHeader();
}