kai is a Mercury editor for eclipse.