From cb149a7c7923b28643c7b75e3d55345c2aa83468 Mon Sep 17 00:00:00 2001
From: Harald Kuhr <harald.kuhr@gmail.com>
Date: Tue, 19 Apr 2011 16:47:17 +0200
Subject: [PATCH] System.getProperty("os.name") reports "Darwin" on OpenJDK 7
 for OS X. It also reports "universal" for os.arch and "10.7.0" for
 os.version, which is probably hardcoded and incorrect. :-/

---
 .../src/main/java/com/twelvemonkeys/lang/Platform.java   | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/common/common-lang/src/main/java/com/twelvemonkeys/lang/Platform.java b/common/common-lang/src/main/java/com/twelvemonkeys/lang/Platform.java
index 90b5b22f..15478d10 100755
--- a/common/common-lang/src/main/java/com/twelvemonkeys/lang/Platform.java
+++ b/common/common-lang/src/main/java/com/twelvemonkeys/lang/Platform.java
@@ -72,7 +72,7 @@ public final class Platform {
         else if (os.startsWith("linux")) {
             return OperatingSystem.Linux;
         }
-        else if (os.startsWith("mac os")) {
+        else if (os.startsWith("mac os") || os.startsWith("darwin")) {
             return OperatingSystem.MacOS;
         }
         else if (os.startsWith("solaris") || os.startsWith("sunos")) {
@@ -89,8 +89,7 @@ public final class Platform {
         }
 
         arch = arch.toLowerCase();
-        if (pOsName == OperatingSystem.Windows
-                && (arch.startsWith("x86") || arch.startsWith("i386"))) {
+        if (pOsName == OperatingSystem.Windows && (arch.startsWith("x86") || arch.startsWith("i386"))) {
             return Architecture.X86;
             // TODO: 64 bit
         }
@@ -223,14 +222,14 @@ public final class Platform {
         Solaris("Solaris", "sun"),
         MacOS("Mac OS", "osx"),
 
-        Unknown(System.getProperty("os.name"), "");
+        Unknown(System.getProperty("os.name"), null);
 
         final String id;
         final String name;// for debug only
 
         private OperatingSystem(String pName, String pId) {
             name = pName;
-            id = pId;
+            id = pId != null ? pId : pName.toLowerCase();
         }
 
         public String getName() {