===> Cleaning for jflex-1.6.0