Fixed tests that failed because of the version change for all Ceylon core modules