public void delete() throws IOException {
  close();
  if (m_channel.isOpen())   throw new IllegalStateException("Request to delete file with open readers and writers");
  if (m_haLogFile.exists()) {
    try {
      m_haLogFile.delete();
    }
 catch (    SecurityException se) {
      log.warn("unable to delete file",se);
    }
  }
}

public void delete ( ) throws IOException { close ( ) ; if ( m_channel . isOpen ( ) ) throw new IllegalStateException ( "Request to delete file with open readers and writers" ) ; if ( m_haLogFile . exists ( ) ) { try { m_haLogFile . delete ( ) ; } catch ( SecurityException se ) { log . warn ( "unable to delete file" , se ) ; } } }
requests that the underlying log file is deleted .
