build.xml [minor javadoc fixes]