- FileInputStream file_input = new FileInputStream ("../trace.dat");
- DataInputStream data_input = new DataInputStream (file_input);
+ FileInputStream file_input = new FileInputStream (filename);
+ BufferedInputStream buffered_input = new BufferedInputStream(file_input);
+ DataInputStream data_input = new DataInputStream (buffered_input);