117118119120121122123124125126127
} catch (IOException e) { if (e instanceof java.io.EOFException) e.printStackTrace(); return FAILED; } finally { monitor.exitRead(); // finished reading } } public String toString() { return "searching " + pattern.toString(); //$NON-NLS-1$ }