Cleaned up Javadoc configuration and removed the unused stuff in the
tools package.