equal
deleted
inserted
replaced
34 private final char slash; |
34 private final char slash; |
35 private final char colon; |
35 private final char colon; |
36 private final String javaHome; |
36 private final String javaHome; |
37 |
37 |
38 public UnixFileSystem() { |
38 public UnixFileSystem() { |
39 Properties props = GetPropertyAction.getProperties(); |
39 Properties props = GetPropertyAction.privilegedGetProperties(); |
40 slash = props.getProperty("file.separator").charAt(0); |
40 slash = props.getProperty("file.separator").charAt(0); |
41 colon = props.getProperty("path.separator").charAt(0); |
41 colon = props.getProperty("path.separator").charAt(0); |
42 javaHome = props.getProperty("java.home"); |
42 javaHome = props.getProperty("java.home"); |
43 } |
43 } |
44 |
44 |