209 |
defaultProperties.put("java.io.tmpdir", |
defaultProperties.put("java.io.tmpdir", |
210 |
defaultProperties.get("java.tmpdir")); |
defaultProperties.get("java.tmpdir")); |
211 |
} |
} |
212 |
|
|
213 |
/** |
/** |
214 |
* Stores the current system properties. This can be modified by |
* Stores the current system properties. This can be modified by |
215 |
* {@link #setProperties(Properties)}, but will never be null, because |
* {@link #setProperties(Properties)}, but will never be null, because |
667 |
|
|
668 |
/** |
/** |
669 |
* Convert a library name to its platform-specific variant. |
* Convert a library name to its platform-specific variant. |
670 |
* * @param libname the library name, as used in <code>loadLibrary</code> |
* |
671 |
|
* @param libname the library name, as used in <code>loadLibrary</code> |
672 |
* @return the platform-specific mangling of the name |
* @return the platform-specific mangling of the name |
673 |
* @since 1.2 |
* @since 1.2 |
674 |
*/ |
*/ |