Fix for ceylon/ceylon-ide-eclipse#629 (and for more info see ceylon/ceylon-spec#776)