+ } finally {
+ // Uncomment these lines when turning on exception tracking in ReaderException.
+ //System.out.println("Threw " + ReaderException.getExceptionCountAndReset() + " exceptions");
+ //System.out.println("Throwers:\n" + ReaderException.getThrowersAndReset());