checkstyle.xml: specify the character encoding

stephengold · stephengold · commit 5d6baa255efe · 2025-06-28T22:54:13.000-07:00
diff --git a/config/checkstyle/checkstyle.xml b/config/checkstyle/checkstyle.xml
@@ -1,4 +1,4 @@
-<?xml version="1.0"?>
+<?xml version="1.0" encoding="UTF-8"?>
 <!DOCTYPE module PUBLIC
           "-//Checkstyle//DTD Checkstyle Configuration 1.3//EN"
           "https://checkstyle.org/dtds/configuration_1_3.dtd">

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-<?xml version="1.0"?>`
	`1`	`+<?xml version="1.0" encoding="UTF-8"?>`
`2`	`2`	`<!DOCTYPE module PUBLIC`
`3`	`3`	`"-//Checkstyle//DTD Checkstyle Configuration 1.3//EN"`
`4`	`4`	`"https://checkstyle.org/dtds/configuration_1_3.dtd">`