Set encoding for ceylon compilation