8249678: @ignore should be used instead of ProblemList for 8158860, 8163894, 8193479, 8194310

Reviewed-by: kvn
5 files changed