fix String.trim() for unicode chars
fix String.trim() for unicode chars

ceylon/ceylon.language,unratito/ceylon.language,lucaswerkmeister/ceylon.language,unratito/ceylon.language,ceylon/ceylon.language,lucaswerkmeister/ceylon.language,jvasileff/ceylon.language,jvasileff/ceylon.language