equal
deleted
inserted
replaced
29 import java.net.URL; |
29 import java.net.URL; |
30 import java.net.MalformedURLException; |
30 import java.net.MalformedURLException; |
31 import java.net.URISyntaxException; |
31 import java.net.URISyntaxException; |
32 import java.util.List; |
32 import java.util.List; |
33 import java.util.ArrayList; |
33 import java.util.ArrayList; |
34 import java.security.AccessController; |
|
35 import java.security.SecureRandom; |
34 import java.security.SecureRandom; |
36 import java.nio.file.Path; |
35 import java.nio.file.Path; |
37 import java.nio.file.FileSystems; |
36 import java.nio.file.FileSystems; |
38 import sun.security.action.GetPropertyAction; |
37 import sun.security.action.GetPropertyAction; |
39 |
38 |
1894 |
1893 |
1895 private static class TempDirectory { |
1894 private static class TempDirectory { |
1896 private TempDirectory() { } |
1895 private TempDirectory() { } |
1897 |
1896 |
1898 // temporary directory location |
1897 // temporary directory location |
1899 private static final File tmpdir = new File(AccessController |
1898 private static final File tmpdir = new File( |
1900 .doPrivileged(new GetPropertyAction("java.io.tmpdir"))); |
1899 GetPropertyAction.getProperty("java.io.tmpdir")); |
1901 static File location() { |
1900 static File location() { |
1902 return tmpdir; |
1901 return tmpdir; |
1903 } |
1902 } |
1904 |
1903 |
1905 // file name generation |
1904 // file name generation |