Fix for the removal of String.characters (ceylon/ceylon.language#465)