most properties could be final (`_digestLoopNo` excluded).

I'm all for writting `final <variable> = new <object>()`, ie no type duplication on lhs.