updates related to ceylon/ceylon-spec#916