fix ceylon/ceylon-ide-eclipse#558 (nothing to do with IDE)