[java_73]
Ground truth: Encodings.getEncodingInfo: encoding: UTF-8
allowJavaNames: yes