Miscellaneous tools for JLog (journalled log) files