More Javadoc issues fixed. "ant javadoc" now runs without any complaints. However, this does not mean the the documentation is fine. Please check your documentation!