public String toString(@NotNull Document document) {
    synchronized (myDocumentToStatusMap) {
      if (myDocumentToStatusMap.containsKey(document)) {
        return myDocumentToStatusMap.get(document).toString();
      }
      else {
        return "";
      }
    }
  }
public String toString(@NotNull Document document)