# HG changeset patch
# User Jaroslav Tulach <jaroslav.tulach@apidesign.org>
# Date 1383813891 -3600
# Node ID 7a021349afecbbc33e87e326837cfee190b0310a
# Parent  3d1612be40bcdfabbdaa00d23825f5a376e4ab82
Not very useful set and get properties

diff -r 3d1612be40bc -r 7a021349afec rt/emul/compact/src/main/java/java/lang/System.java
--- a/rt/emul/compact/src/main/java/java/lang/System.java	Thu Nov 07 09:41:45 2013 +0100
+++ b/rt/emul/compact/src/main/java/java/lang/System.java	Thu Nov 07 09:44:51 2013 +0100
@@ -21,6 +21,7 @@
 import java.io.ByteArrayOutputStream;
 import java.io.InputStream;
 import java.io.PrintStream;
+import java.util.Properties;
 import org.apidesign.bck2brwsr.core.JavaScriptBody;
 
 /** Poor man's re-implementation of most important System methods.
@@ -57,6 +58,14 @@
         return def;
     }
     
+    public static Properties getProperties() {
+        throw new SecurityException();
+    }
+    
+    public static void setProperties(Properties p) {
+        throw new SecurityException();
+    }
+    
     /**
      * Returns the system-dependent line separator string.  It always
      * returns the same value - the initial value of the {@linkplain