@Override
    public @Nls String toString() {
      return getProblemName().replaceFirst(PLACE_POINTER, JavaAnalysisBundle.message("dfa.find.cause.place.here"));
    }
@Override
    public @Nls String toString()