K 10
svn:author
V 5
znerd
K 8
svn:date
V 27
2002-08-16T19:06:13.000000Z
K 7
svn:log
V 171
Upgrade from 1.2.2.012 to 1.2.2.013. Note that the JPDA JAR
file is now no longer distributed with this JDK.

Also slightly changed the output from the do-install target.

END