Verified. I had to use Java 6 to build the source code because PropertySetter does not support Java 7. See DERBY-5984. I built both the html and the pdf docs and checked that the Reference Manual looked ok from a high level. The pdf build produced pages of warnings, but it does the same thing when run directly from the branch.