NullPointerException when Find in Missing File
When the change was made to allow users to abort a search that
encountered missing files, the getNextDocument was made to return null
to signal such an aborted search. That probably caused the
NullPointerException.
I wasn't able to reproduce the bug before I made this change,
though. This analysis is based purely on reading the source code.