Fix bug 693229: Mupdf/android has inconsistent search phrase highlighting

The highlights were unintentionally being cached between file invocations.
In fact it was possible for the highlighting from one file to appear when
opening another, even if those highlights didn't match words on the page.
That could happen if both files happened to have been last opened on a
common page (common in terms of page number).

1 files changed, 1 insertions, 0 deletions

diff --git a/android/src/com/artifex/mupdf/MuPDFActivity.java b/android/src/com/artifex/mupdf/MuPDFActivity.java
index aa2a9fac..14c189ae 100644
--- a/android/src/com/artifex/mupdf/MuPDFActivity.java
+++ b/android/src/com/artifex/mupdf/MuPDFActivity.java
@@ -149,6 +149,7 @@ public class MuPDFActivity extends Activity
 					}
 				}
 				core = openFile(Uri.decode(uri.getEncodedPath()));
+				SearchTaskResult.set(null);
 			}
 			if (core != null && core.needsPassword()) {
 				requestPassword(savedInstanceState);