Test for exception filter with renamed facade

idea/testData/filters/exceptionFilter/mockLibrary/jvmClassNameSingleFile.kt

@@ -0,0 +1,6 @@
+@file:JvmName("NewName")
+package renamed
+
+fun foo() {
+
+}

idea/tests/org/jetbrains/kotlin/idea/filters/JetExceptionFilterTest.kt

@@ -155,5 +155,6 @@ public class JetExceptionFilterTest : MultiFileTestCase() {
         doTest("src/lib.kt", 4, { "test.Foo" }, libRootUrl = libRootUrl)
         doTest("src/lib.kt", 9, { "" + PackagePartClassUtils.getDefaultPartFqName(packageClassFqName, it) }, libRootUrl = libRootUrl)
         doTest("src/other.kt", 4, { "" + PackagePartClassUtils.getDefaultPartFqName(packageClassFqName, it) }, libRootUrl = libRootUrl)
+        doTest("src/jvmClassNameSingleFile.kt", 4, { "renamed.NewName" }, libRootUrl = libRootUrl)
     }
 }