From c657e3905f547dbe629b438aea4eedb5fb8b1a88 Mon Sep 17 00:00:00 2001 From: Carlos Amengual Date: Thu, 14 Sep 2023 22:22:55 +0200 Subject: [PATCH] Fix compilation error with Java 8 --- src/main/java/io/sf/carte/uparser/TokenProducer.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/main/java/io/sf/carte/uparser/TokenProducer.java b/src/main/java/io/sf/carte/uparser/TokenProducer.java index 7cb0aaf..dad0757 100644 --- a/src/main/java/io/sf/carte/uparser/TokenProducer.java +++ b/src/main/java/io/sf/carte/uparser/TokenProducer.java @@ -746,7 +746,7 @@ void handleControl(int codepoint) { prevlinelength++; } else { handler.error(rootIndex, TokenProducer.ERR_UNEXPECTED_CONTROL, - "Unexpected: " + Character.toString(codepoint)); + "Unexpected codepoint: " + Integer.toHexString(codepoint)); } } } else if (codepoint == 12) { // FF @@ -768,7 +768,7 @@ void handleControl(int codepoint) { handler.separator(rootIndex, 9); } else if (codepoint < 0x80) { handler.error(rootIndex, TokenProducer.ERR_UNEXPECTED_CONTROL, - "Unexpected: " + Character.toString(codepoint)); + "Unexpected codepoint: " + Integer.toHexString(codepoint)); } else { handler.control(rootIndex, codepoint); }