01_free_javac.patch
02_libs.patch
03_external_apps.patch
05_antlr.patch
06_BibtexEntry.patch
07_PreviewPanel.patch
08_HighlightFilter.patch