src/Tools/jEdit/patches/jedit-4.5.1/macos

try to avoid races again (cf. 8c37cb84065f and fd3a36e48b09);

diff -ru 4.5.1/jEdit/org/gjt/sp/jedit/OperatingSystem.java 4.5.1/jEdit-patched/org/gjt/sp/jedit/OperatingSystem.java
--- 4.5.1/jEdit/org/gjt/sp/jedit/OperatingSystem.java	2012-03-25 18:52:03.000000000 +0200
+++ 4.5.1/jEdit-patched/org/gjt/sp/jedit/OperatingSystem.java	2012-04-13 19:28:37.000000000 +0200
@@ -317,6 +317,10 @@
 			{
 				os = OS2;
 			}
+			else if(osName.contains("Mac OS X"))
+			{
+				os = MAC_OS_X;
+			}
 			else if(osName.contains("VMS"))
 			{
 				os = VMS;