(String path)
| 32 | private final String path; |
| 33 | |
| 34 | public File(String path) { |
| 35 | if (path == null) throw new NullPointerException(); |
| 36 | this.path = normalize(path); |
| 37 | } |
| 38 | |
| 39 | public File(String parent, String child) { |
| 40 | this(parent + FileSeparator + child); |