Can't load classes with non-ascii names

Cheerpj fails with ClassNotFoundException when trying to load a class with special characters.

Reproducer:

Add to same directory

javaslang-2.0.6.jar

index.html:

<!doctype html>
<html>
<head>
<title>Hello CheerpJ</title>
<script src="https://cjrtnc.leaningtech.com/3.0/cj3loader.js"></script>
<meta charset="utf-8"/>
</head>
<body>
Hello CheerpJ
<script>
async function test() {
await cheerpjInit();
const lib = await cheerpjRunLibrary("/app/javaslang-2.0.6.jar")
try {
    await lib.javaslang.λ
} catch (e) {
    console.error(`${await (await e.getClass()).getName()} ${await e.getMessage()}`)
}
}
test()
</script>
</body>
</html>

serve directory, e.g. with npx http-server

Open served site in browser and observe error in console:

CheerpJ runtime ready [cj3.js:1:79529](https://cjrtnc.leaningtech.com/3.0/cj3.js)
java.lang.ClassNotFoundException javaslang.뀁 [127.0.0.1:8080:17:21](http://127.0.0.1:8080/)
test http://127.0.0.1:8080/:17
<anonymous> http://127.0.0.1:8080/:20

Note that this is just a reproducer - in my real application javaslang is a transitive dependency which is why I'm unable to rename the class or replace its usage.

leaningtech / cheerpj-meta

Can't load classes with non-ascii names #195