Added workaround for ceylon/ceylon-compiler#1123