117118119120121122123124125126127
public void run() { IDoc iDoc = getDocument(iFile); if (iDoc == null) { return; } iDoc.removeHighlight(userId, path); } }); } @Override