Dutch troops used “extreme violence” — often deliberately — during Indonesia's 1940s war for independence, and military leaders…