Fixed the issue: https://github.com/renatoathaydes/ceylon-sdk-1/commit/bd569f2f9a1a552e84141e24167e505a1be561f6