version=3
opts=dversionmangle=s/\+dfsg.*// \
http://jflex.de/download.html  .*/jflex-([\d\.]+).zip 
