[Patch] System.lang.setProperty() method is lacked

[Takashi Okamoto]

Hi,

Kaffe's java.lang.System doesn't have setProperty() method.
Please add it.
--------
Takashi Okamoto

--------------------------------------------
--- System.java.orig    Fri Mar 16 19:51:31 2001
+++ System.java Thu Mar 15 22:38:09 2001
@@ -184,6 +184,11 @@
        props = prps;
 }
 
+public static String setProperty(String key, String value) {
+       checkPropertyAccess();
+       return (String) props.setProperty(key, value);
+}
+
 public static void setSecurityManager(SecurityManager s) {
        if (security != defaultSecurityManager) {
                throw new SecurityException();