Jon,
Consider deleting that entry in ProblemList.txt instead of commenting it out.
Otherwise, the change looks good.
***
That change reminded me of a question I had: do we really need to split I/O
errors into "read" and "write" errors and associate filenames with I/O errors
on the Java level?
Yes, it's an oversight that the ProblemList entry is commented out and
not deleted. I'll fix that.
It is intended to be helpful to users to provide details in the
exception about the file causing the problem. The different exceptions
identify the file in question, which is probably more impo
