Refixed jflex/jcup ignore.