private ProblemDescriptor @Nullable [] getProblems() {
      return myProblems == null ? null : myProblems.toArray(ProblemDescriptor.EMPTY_ARRAY);
    }
private ProblemDescriptor @Nullable [] getProblems()