Cleaned up and fixed JavadocModel and related code. The JavadocModel is now produced by a JDKToolsLibrary, allowing it to be used with an arbitrary tools.jar file (not necessarily on the current class path). Moved Javadoc-related classes into a javadoc package. Updated plt.jar.