Thread-safety and data structures fixes
removed Collection<> references
reverted log labels back
Pad state dump block no. in filenames with zeroes
Merge pull request #100 from davassi/thread-safety

Thread-safety and data structures fixes