K 10 svn:author V 7 sobomax K 8 svn:date V 27 2001-06-01T08:18:52.000000Z K 7 svn:log V 253 Undo upgrade to 1.3.1. Unfortunately committer who committed change did not notice PR submitter's follow-up in which he asked not to do upgrade due to the bug discovered in this particular version of JDK. Submitted by: Ernst de Haan END