System.out.println("TH.openTraceMetaFile() path "+path);
System.out.println("TraceHeader.openTraceMetaFile() path \""+path+"\"");
  private DataInputStream openTraceMetaFile(String header_filename, String trace_filename)  {    String path = null;    int index = trace_filename.lastIndexOf('/');    if (index == -1) {      path = "";    } else {      //      System.out.println("TH.openTraceMetaFile("+header_filename+", "+trace_filename+") index "+index);      // temporary hack to get rid of trailing "data".      //      index = trace_filename.lastIndexOf('/',index-1);      //      System.out.println("trace_filename.lastIndexOf('/',"+(index)+") == "+index);            path = trace_filename.substring(0,index);      path += "/";      System.out.println("TH.openTraceMetaFile() path "+path);    }    index = header_filename.lastIndexOf(' ');    if (index != -1)       header_filename = header_filename.substring(0,index);    if(debug>=2)      System.out.println("openTraceMetaFile() calls Utilities.openDataInputStream("+(path + header_filename)+")");    return Utilities.openDataInputStream(path + header_filename);  }