update spec for ceylon.language#493