Minor javadoc, build.xml, and install.txt update