119 |
{ |
{ |
120 |
properties = new Properties(); |
properties = new Properties(); |
121 |
VMSystem.insertSystemProperties(properties); |
VMSystem.insertSystemProperties(properties); |
122 |
|
|
123 |
|
// XXX FIXME - Temp hack for old systems that set the wrong property |
124 |
|
if (properties.get("java.io.tmpdir") == null) |
125 |
|
properties.put("java.io.tmpdir", properties.get("java.tmpdir")); |
126 |
|
|
127 |
insertGNUProperties(); |
insertGNUProperties(); |
128 |
in = new FileInputStream(FileDescriptor.in); |
in = new FileInputStream(FileDescriptor.in); |
129 |
out = new PrintStream(new FileOutputStream(FileDescriptor.out)); |
out = new PrintStream(new FileOutputStream(FileDescriptor.out)); |