private boolean readNextLine() throws IOException {
  if (headerLines.hasMoreElements()) {
    try {
      pos=0;
      String line=(headerLines.nextElement() + LINE_SEPERATOR);
      if (!headerLines.hasMoreElements()) {
        line+=LINE_SEPERATOR;
      }
      currLine=line.getBytes("US-ASCII");
      return true;
    }
 catch (    UnsupportedEncodingException e) {
      throw new IOException("US-ASCII encoding not supported by this platform ?!");
    }
  }
 else {
    return false;
  }
}

private boolean readNextLine ( ) throws IOException { if ( headerLines . hasMoreElements ( ) ) { try { pos = 0 ; String line = ( headerLines . nextElement ( ) + LINE_SEPERATOR ) ; if ( ! headerLines . hasMoreElements ( ) ) { line += LINE_SEPERATOR ; } currLine = line . getBytes ( "US-ASCII" ) ; return true ; } catch ( UnsupportedEncodingException e ) { throw new IOException ( "US-ASCII encoding not supported by this platform ?!" ) ; } } else { return false ; } }
load the next header line if possible
