Fix CeylonDocToolTest.ceylonSdk() broken by ceylon/ceylon.language@5cb2c8902d5c831f54651816e5f56f48a4e012c1.