an automatic thread summarization tool with scala