Potential bug reports

There's nothing documented in configure --help for this. I tried using it and saw no difference, so you must have a local patch. One other thing I noticed in this testing is that I keep getting javadoc creation errors because it says: [javadoc] javadoc: error - Destination directory not writable / prefix/dir/path/java/build/javadoc which is sort of a lie because the directory it names just doesn't exist. So the javadoc generation uses --prefix badly and the library install doesn't use it at -- Rush Manbert