Add an ignore problems file for webernecht compatibility problem (#8593)

Follow up to #8590

This seems at least better than ignoring compatibility problems entirely.

Author: helin24

build.gradle.kts

@@ -274,7 +274,7 @@ intellijPlatform {
       // TODO(team) Ideally all of the following FailureLevels should be enabled:
       // https://github.com/flutter/flutter-intellij/issues/8361
       VerifyPluginTask.FailureLevel.COMPATIBILITY_WARNINGS,
-//      VerifyPluginTask.FailureLevel.COMPATIBILITY_PROBLEMS,
+      VerifyPluginTask.FailureLevel.COMPATIBILITY_PROBLEMS,
 //      VerifyPluginTask.FailureLevel.DEPRECATED_API_USAGES, // https://github.com/flutter/flutter-intellij/issues/7718
 //      VerifyPluginTask.FailureLevel.SCHEDULED_FOR_REMOVAL_API_USAGES,
 // `BadgeIcon`:
@@ -289,6 +289,7 @@ intellijPlatform {
     )
     verificationReportsFormats = VerifyPluginTask.VerificationReportsFormats.ALL
     subsystemsToCheck = VerifyPluginTask.Subsystems.ALL
+    ignoredProblemsFile.set(project.file("verify-ignore-problems.txt"))
 
     ides {
       recommended()
@@ -416,4 +417,5 @@ tasks.withType<ProcessResources>().configureEach {
     // The context here is unambiguously the task itself.
     exclude("jxbrowser/jxbrowser.properties")
   }
-}
+}
+

third_party/lib/weberknecht-0.1.5.jar

@@ -0,0 +1,6 @@
+# This is a known false positive. The de.roderick.weberknecht package is provided
+# by the Dart plugin at runtime, but the verifier's static analysis of
+# class loader visibility is flawed in this case.
+# See more context in https://github.com/flutter/flutter-intellij/pull/8590
+::Package 'de.roderick' is not found.*
+