| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| system_jflex.diff | Use system JFlex in /usr/share/java/JFlex.jar | Damien Raude-Morvan <drazzib@debian.org> | not-needed | 2009-11-13 | ||
| source-encoding.diff | Set the source encoding to fix the build failures with Java 9+ | Emmanuel Bourg <ebourg@apache.org> | no |