/** This program lists the character encodings supported by your JVM. */

m = callJava["java.nio.charset.Charset", "availableCharsets", []]

// Calling by enumerator; list charsets and their aliases.
for [key, val] = m
{
   println[key]
   for a = val.aliases[]
      println["   $a"]
}