source: gs2-extensions/pdf-box/trunk/pdf-box-java.zip@ 24197

Fixed a bug Sam discovered in the latest PDFBox that I recently committed in place of the earlier one (since the latest one was adding page separator tags so we could do paging when use_sections of PDFPlugin is turned on). The bug was that PDFBox code uses the System.lineSeparator for when a newline is required. But this resolves to be the empty string for me, so that the formatting of html output is incorrect, especially noticeable when processing the GS3 manual PDF where the Table of contents ends up appearing all on one line. The change made to the PDFBox src code is in its util folder, PDFText2HTML.java: setLineSeparator(htmlLineSeparator); (instead of systemLineSeparator) where String htmlLineSeparator = "<br />" +systemLineSeparator;