diff -r 3698d0f3da18 -r 908433a347d1 src/Pure/General/url.scala
--- a/src/Pure/General/url.scala	Fri Oct 21 18:06:32 2022 +0200
+++ b/src/Pure/General/url.scala	Fri Oct 21 19:05:48 2022 +0200
@@ -64,8 +64,8 @@
 
   /* strings */
 
-  def decode(s: String): String = URLDecoder.decode(s, UTF8.charset_name)
-  def encode(s: String): String = URLEncoder.encode(s, UTF8.charset_name)
+  def decode(s: String): String = URLDecoder.decode(s, UTF8.charset)
+  def encode(s: String): String = URLEncoder.encode(s, UTF8.charset)
 
 
   /* read */