No. Discussing what static type systems do means discussing what static type systems do. Not pretending static type systems can't do anything java doesn't do.

No. Discussing what static type systems do means discussing what static type systems do. Not pretending static type systems can't do anything java doesn't do. We don't judge dynamic typing by how shitty PHP is for the same reason. Dynamic typing is not what made PHP shitty, it just happens to be both dynamically typed and shitty.