# HG changeset patch
# User wenzelm
# Date 1666372441 -7200
# Node ID 49463aef2ead22dddc0af0adc827a416bcc0ebf8
# Parent  92e9fa289056ef3fe4fe9ea225d9732467f71952
tuned signature, following isabelle.setup.Environment;

diff -r 92e9fa289056 -r 49463aef2ead src/Pure/General/utf8.scala
--- a/src/Pure/General/utf8.scala	Fri Oct 21 19:10:38 2022 +0200
+++ b/src/Pure/General/utf8.scala	Fri Oct 21 19:14:01 2022 +0200
@@ -7,13 +7,13 @@
 package isabelle
 
 
-import java.nio.charset.Charset
+import java.nio.charset.{Charset, StandardCharsets}
 
 
 object UTF8 {
   /* charset */
 
-  val charset: Charset = Charset.forName("UTF-8")
+  val charset: Charset = StandardCharsets.UTF_8
 
   def bytes(s: String): Array[Byte] = s.getBytes(charset)