void (final boolean haveCompleteHistory) { if (myHaveCompleteHistory != haveCompleteHistory) { myHaveCompleteHistory = haveCompleteHistory; try { openStreams(); try { writeHeader(); } finally { closeStreams(); } } catch(IOException ex) { LOG.error(ex); } } }