jdk/src/java.base/share/classes/java/io/File.java
changeset 37593 824750ada3d6
parent 34782 fe102f179318
child 37781 71ed5645f17c
equal deleted inserted replaced
37592:c80f098887f4 37593:824750ada3d6
    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