log files with headers (thanks https://stackoverflow.com/questions/34359166/java-logging-using-gethead-with-append)

This reverts commit 6eb27f0d

This reverts commit 890df93d