Hi, Strange things happen on the repositoy (deleted files are back again). Please don't check-in anything until we figure out what's going on. Thanks, Jean-Michel