Remove workaround after Ceylon bug fix