| 1 |
diff -p -up java-access-bridge-1.26.2/bridge/org/GNOME/Accessibility/JavaBridge.java.tck java-access-bridge-1.26.2/bridge/org/GNOME/Accessibility/JavaBridge.java |
| 2 |
--- java-access-bridge-1.26.2/bridge/org/GNOME/Accessibility/JavaBridge.java.tck 2009-06-09 11:54:46.000000000 +0200 |
| 3 |
+++ java-access-bridge-1.26.2/bridge/org/GNOME/Accessibility/JavaBridge.java 2009-06-09 12:46:38.000000000 +0200 |
| 4 |
@@ -34,6 +34,8 @@ import javax.accessibility.AccessibleCon |
| 5 |
import javax.accessibility.AccessibleRole; |
| 6 |
import javax.accessibility.AccessibleText; |
| 7 |
import javax.accessibility.AccessibleEditableText; |
| 8 |
+import java.security.PrivilegedAction; |
| 9 |
+import java.security.AccessController; |
| 10 |
|
| 11 |
public class JavaBridge { |
| 12 |
|
| 13 |
@@ -389,7 +391,11 @@ public class JavaBridge { |
| 14 |
System.err.println ("Java Accessibility Bridge for GNOME loaded.\n"); |
| 15 |
|
| 16 |
// Not sure what kind of arguments should be sent to ORB |
| 17 |
- String vm_rev = System.getProperty("java.version"); |
| 18 |
+ String vm_rev = (String) AccessController.doPrivileged(new PrivilegedAction() { |
| 19 |
+ public java.lang.Object run() { |
| 20 |
+ return System.getProperty("java.version"); |
| 21 |
+ } |
| 22 |
+ }); |
| 23 |
|
| 24 |
if (vm_rev.compareTo("1.4.0") < 0) { |
| 25 |
System.err.println("WARNING: Java Accessibility Bridge " + |
Parent Directory
| 
Revision Log