class PageCacheFlusher extends Thread {

    void halt()
    {
        halted = true;
        halt.await();
        if ( error != null )
        {
            throwIfUnchecked( error );
            throw new RuntimeException(  error );
        }
    }

      PageCacheFlusher( PageCache pageCache );

}