fix automatic JFlex download

closes #15