OpenGrok/OpenGrok — pull request #20 by vladak (2013-03-19 15:02:00+00:00)
Title: Jflex auto download fix

This fixes a problem preventing automatic Jflex download.