/** Dump a journal - debug support function - opens the journal specially - inconsistent views possible */ public static void print(String filename) { BufferChannelFile chan = BufferChannelFile.createUnmanaged(filename, "r") ; Journal journal = new Journal(chan) ; JournalControl.print(journal) ; chan.close() ; }