Robust/CoreProf/WorkerData.java

   1 import java.io.*;
   2 import java.util.*;
   3
   4 public class WorkerData {
   5   BufferedInputStream dataStream;
   6   int                 numDataWords;
   7
   8   Set<Event>          rootEvents;
   9   Vector<Event>       eventStack;
  10 }