CharacterEncoderImplementations__ISO10646_to_JavaText.st
changeset 24047 df6ad32114b1
parent 22476 b30058f26971