equal
deleted
inserted
replaced
1894 private static class TempDirectory { |
1894 private static class TempDirectory { |
1895 private TempDirectory() { } |
1895 private TempDirectory() { } |
1896 |
1896 |
1897 // temporary directory location |
1897 // temporary directory location |
1898 private static final File tmpdir = new File( |
1898 private static final File tmpdir = new File( |
1899 GetPropertyAction.getProperty("java.io.tmpdir")); |
1899 GetPropertyAction.privilegedGetProperty("java.io.tmpdir")); |
1900 static File location() { |
1900 static File location() { |
1901 return tmpdir; |
1901 return tmpdir; |
1902 } |
1902 } |
1903 |
1903 |
1904 // file name generation |
1904 // file name generation |