Remove workaround for ceylon/ceylon-spec#952