Fix for ceylon/ceylon-web-ide-backend#42