Updated SDK to latest Ceylon syntax