[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();