minor due ceylon/ceylon-ide-eclipse#551