===> Cleaning for maude-2.6nb1