commit jflex for openSUSE:11.4