287288289290291292293294
{ return new BuiltInJavaEncoding(key, true); } else { return new Ascii(); } }