System.java (properties): Use Properties.clone.
authorTom Tromey <tromey@redhat.com>
Fri, 14 Feb 2003 17:43:34 +0000 (17:43 +0000)
committerTom Tromey <tromey@gcc.gnu.org>
Fri, 14 Feb 2003 17:43:34 +0000 (17:43 +0000)
commitb8c86c6d07a8c404a696d908b0734af9493c0884
treeff158a0de62d780ebbd22ef8279308a52bcff5d0
parent9fb28a67cc467bee40fa98310a88b85a003c0220
System.java (properties): Use Properties.clone.

* java/lang/System.java (properties): Use Properties.clone.
(setProperties): Likewise.

From-SVN: r62903
libjava/ChangeLog
libjava/java/lang/System.java