Thus, making an exception checked forces the programmer to pay heed to the possibility of it being thrown. An example of a checked exception is java.io.IOException.

Java developers learn to rely on their compilers to catch assignments to incorrect types, calls of nonexistent methods and—this article's topic—incorrect exception handling.