Jflex auto download fix

This fixes a problem preventing automatic Jflex download.