18901891189218931894189518961897189818991900
{ fileChannel.write( RECORD_MANAGER_HEADER_BUFFER, 0 ); } catch ( IOException ioe ) { throw new FileException( ioe.getMessage() ); } RECORD_MANAGER_HEADER_BUFFER.clear(); // Reset the old versions