[cp-patches] Patch: FYI: remove gnu.java.awt.FocusManager property

[Tom Tromey]

I'm checking this in.

This removes the last mention of the old gnu.java.awt.FocusManager
property.

Tom

2005-11-08  Tom Tromey  <address@hidden>

        * gnu/classpath/SystemProperties.java: Don't mention
        gnu.java.awt.FocusManager.

Index: gnu/classpath/SystemProperties.java
===================================================================
RCS file: /cvsroot/classpath/classpath/gnu/classpath/SystemProperties.java,v
retrieving revision 1.9
diff -u -r1.9 SystemProperties.java
--- gnu/classpath/SystemProperties.java 7 Jul 2005 12:37:04 -0000       1.9
+++ gnu/classpath/SystemProperties.java 8 Nov 2005 21:48:15 -0000
@@ -106,12 +106,6 @@
     if (defaultProperties.get("file.encoding") == null)
       defaultProperties.put("file.encoding", "8859_1");
 
-    // Default to the Swing FocusManager so that the old-style Swing API
-    // for FocusManager can be supported without hardcoding it in AWT.
-    if (defaultProperties.get("gnu.java.awt.FocusManager") == null)
-      defaultProperties.put("gnu.java.awt.FocusManager",
-                            "gnu.java.awt.FocusManager");
-
     // XXX FIXME - Temp hack for old systems that set the wrong property
     if (defaultProperties.get("java.io.tmpdir") == null)
       defaultProperties.put("java.io.tmpdir",