[jflex-users] Download page question / bug?

[William F. <bil...@gm...>]

On the download page (http://jflex.de/download.html), the JFlex Maven
plugin shows the name: jflex-maven-plugin-1.6.1.zip two times.

Each of the two (identical) download buttons actually download the same
file: jflex-maven-1.6.1.tar.gz

I would assume that the first button should read:
jflex-maven-plugin-1.6.1.tar.gz,
and the second button should download the file: jflex-maven-1.6.1.zip
(assuming it exists).

I noticed this because I was trying to download the zip file.

Bill Fenlason