| changeset 6300 | 700ec2a5d680 |
| parent 5506 | 202f599c92aa |
| child 7668 | d4a77089c587 |
| 6299:a44d48dbcd50 | 6300:700ec2a5d680 |
|---|---|
185 } |
185 } |
186 } |
186 } |
187 } |
187 } |
188 } |
188 } |
189 } |
189 } |
190 assert canonicalize0(path).equals(res) || path.startsWith(javaHome); |
|
191 return res; |
190 return res; |
192 } |
191 } |
193 } |
192 } |
194 private native String canonicalize0(String path) throws IOException; |
193 private native String canonicalize0(String path) throws IOException; |
195 // Best-effort attempt to get parent of this path; used for |
194 // Best-effort attempt to get parent of this path; used for |