Issue #20: Parse ThreadSet.toString() output by ThreadDumpParser