From 1ec1c0890081a4bd93829cce60baf6b764a1ad6a Mon Sep 17 00:00:00 2001
From: Vyom-Yadav <jackhammervyom@gmail.com>
Date: Tue, 13 Dec 2022 13:28:23 +0530
Subject: [PATCH] Issue #12524: Replace backward slash with forward slash while
 creating CheckerFrameworkError object in checker-framework.groovy

---
 .ci/checker-framework.groovy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.ci/checker-framework.groovy b/.ci/checker-framework.groovy
index 9584ff14766..97f7f808e81 100644
--- a/.ci/checker-framework.groovy
+++ b/.ci/checker-framework.groovy
@@ -184,7 +184,7 @@ private static List<CheckerFrameworkError> getErrorFromText(final List<List<Stri
         String lineContent = null
         int lineNumber = 0
         if (matcher.matches()) {
-            fileName = matcher.group(fileNameGroup)
+            fileName = matcher.group(fileNameGroup).replace('\\', '/')
             lineNumber = Integer.parseInt(matcher.group(lineNumberGroup))
             specifier = XmlUtil.escapeXml(matcher.group(specifierGroup).trim())
             message = XmlUtil.escapeXml(matcher.group(messageGroup).trim())