build.patch
jflex-1.6.1.patch
manifest.patch
