OpenGrok/OpenGrok — pull request #21 by vladak (2013-03-19 15:08:37+00:00)
Title: fix automatic JFlex download

closes #15