Why not the Java7 try-with-resource used here?