protected String readReference() throws IOException {
  Reader r=new BufferedReader(new FileReader(m_RefFile));
  StringBuffer ref=new StringBuffer();
  char[] buf=new char[5];
  for (int read=r.read(buf); read > 0; read=r.read(buf)) {
    ref.append(new String(buf,0,read));
  }
  r.close();
  return ref.toString();
}

protected String readReference ( ) throws IOException { Reader r = new BufferedReader ( new FileReader ( m_RefFile ) ) ; StringBuffer ref = new StringBuffer ( ) ; char [ ] buf = new char [ 5 ] ; for ( int read = r . read ( buf ) ; read > 0 ; read = r . read ( buf ) ) { ref . append ( new String ( buf , 0 , read ) ) ; } r . close ( ) ; return ref . toString ( ) ; }
reads the reference output from a file and returns it as a string
