jflex-xmlheadtokenizer-fix.patch
jflex-compatibility.patch
build_stub.patch
