Tried to use pax to preserve the bookmarks from javadoc.pdf, but to no avail so far...