debian/patches/series

   1 01_free_javac.patch
   2 02_libs.patch
   3 03_external_apps.patch
   4 04_HONOR_DISPLAY_PROPERTIES.patch
   5 05_antlr.patch
   6 06_BibtexEntry.patch