Add HighlightFilter patch to work without HighlightFilter.java and rm src/java/net...
[debian/jabref.git] / debian / patches / 07_PreviewPanel.patch
2010-01-13 tony mancillpatch so DocumentPrinter.java can be removed