“In fact, two-thirds of the uses of the close method in the Java libraries were wrong in 2007.”