Revision 352422

Now umldoclet works also with JDK1.3.1_02 (tested).
javadocs target now generates normal javadocs+uml docs.
Each class javadoc has a corresponding uml page, with the same name
but starting with uml-