fix ceylon/ceylon-ide-eclipse#1191