equal
deleted
inserted
replaced
53 * U+100000..U10FFFF F4 80..8F 80..BF 80..BF |
53 * U+100000..U10FFFF F4 80..8F 80..BF 80..BF |
54 * |
54 * |
55 */ |
55 */ |
56 |
56 |
57 public final class UTF_8 extends Unicode { |
57 public final class UTF_8 extends Unicode { |
58 |
|
59 public static final UTF_8 INSTANCE = new UTF_8(); |
|
60 |
|
61 public UTF_8() { |
58 public UTF_8() { |
62 super("UTF-8", StandardCharsets.aliases_UTF_8()); |
59 super("UTF-8", StandardCharsets.aliases_UTF_8()); |
63 } |
60 } |
64 |
61 |
65 public String historicalName() { |
62 public String historicalName() { |