From 90fee8ef8247a9fc95ba39b0226017ef1ce7efc9 Mon Sep 17 00:00:00 2001
From: Stephen Gold <sgold@sonic.net>
Date: Thu, 24 Aug 2023 11:46:37 -0700
Subject: [PATCH] checkstyle.xml:  allow the digit "3" in package names

---
 config/checkstyle/checkstyle.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/config/checkstyle/checkstyle.xml b/config/checkstyle/checkstyle.xml
index 871fa52b..8df6d9c7 100644
--- a/config/checkstyle/checkstyle.xml
+++ b/config/checkstyle/checkstyle.xml
@@ -190,7 +190,7 @@
         <!-- Checks for naming conventions            -->
         <!-- See https://checkstyle.org/checks/naming -->
         <module name="PackageName">
-            <property name="format" value="^[a-z][a-z.]*[a-z]$"/>
+            <property name="format" value="^[a-z][a-z3.]*[a-z]$"/>
             <message key="name.invalidPattern"
                      value="Package name ''{0}'' must match pattern ''{1}''."/>
         </module>