Delete miniTrap.xtend