@Override
  public synchronized @NotNull ThreeState hasReportedProblems() {
    if (myContents == null) return ThreeState.UNSURE;
    return myContents.isEmpty() ? ThreeState.NO : ThreeState.YES;
  }
@Override
  public synchronized @NotNull ThreeState hasReportedProblems()