106 |
if (defaultProperties.get("file.encoding") == null) |
if (defaultProperties.get("file.encoding") == null) |
107 |
defaultProperties.put("file.encoding", "8859_1"); |
defaultProperties.put("file.encoding", "8859_1"); |
108 |
|
|
|
// 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"); |
|
|
|
|
109 |
// XXX FIXME - Temp hack for old systems that set the wrong property |
// XXX FIXME - Temp hack for old systems that set the wrong property |
110 |
if (defaultProperties.get("java.io.tmpdir") == null) |
if (defaultProperties.get("java.io.tmpdir") == null) |
111 |
defaultProperties.put("java.io.tmpdir", |
defaultProperties.put("java.io.tmpdir", |