Hashtable.java (Enumerator): Ensure that if hasMoreElements() returns true...
authorBryce McKinlay <bryce@waitaki.otago.ac.nz>
Thu, 13 Sep 2001 23:20:19 +0000 (23:20 +0000)
committerBryce McKinlay <bryce@gcc.gnu.org>
Thu, 13 Sep 2001 23:20:19 +0000 (00:20 +0100)
commit6a3d403114ac013e8a5e9a8f9496b6d8fd6a8f99
treee91afa34b8fe397cfc21764b75025a4034a96d56
parent7364d5f851b8430aa3fdd8d9fa30efa5755873ef
Hashtable.java (Enumerator): Ensure that if hasMoreElements() returns true...

* java/util/Hashtable.java (Enumerator): Ensure that if
hasMoreElements() returns true, nextElement() will always return
something even if the table has been modified.

From-SVN: r45584
libjava/ChangeLog
libjava/java/util/Hashtable.java