fix String for chars which map to multiple chars after case conversion
fix String for chars which map to multiple chars after case conversion
ceylon/ceylon.language,unratito/ceylon.language,unratito/ceylon.language,ceylon/ceylon.language