CeylonDocToolTest: fixed compilation of SDK java file