diff -r 1bf52dbf783e -r 1d1d70f6828b rt/emul/compact/src/main/java/java/lang/System.java
--- a/rt/emul/compact/src/main/java/java/lang/System.java	Sat Sep 28 13:08:41 2013 +0200
+++ b/rt/emul/compact/src/main/java/java/lang/System.java	Mon Sep 30 17:11:18 2013 +0200
@@ -44,9 +44,15 @@
     }
 
     public static String getProperty(String name) {
+        if ("os.name".equals(name)) {
+            return userAgent();
+        }
         return null;
     }
     
+    @JavaScriptBody(args = {}, body = "return navigator.userAgent;")
+    private static native String userAgent();
+    
     public static String getProperty(String key, String def) {
         return def;
     }