src/share/classes/com/sun/tools/javac/file/JavacFileManager.java

changeset 818
d33d8c381aa1
parent 802
0141f508b98d
child 839
a8437c34fdc7
equal deleted inserted replaced
817:17b271281525 818:d33d8c381aa1
1 /* 1 /*
2 * Copyright (c) 2005, 2010, Oracle and/or its affiliates. All rights reserved. 2 * Copyright (c) 2005, 2011, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 * 4 *
5 * This code is free software; you can redistribute it and/or modify it 5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as 6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation. Oracle designates this 7 * published by the Free Software Foundation. Oracle designates this
470 470
471 /** Open a new zip file directory, and cache it. 471 /** Open a new zip file directory, and cache it.
472 */ 472 */
473 protected Archive openArchive(File zipFileName) throws IOException { 473 protected Archive openArchive(File zipFileName) throws IOException {
474 File origZipFileName = zipFileName; 474 File origZipFileName = zipFileName;
475 if (!ignoreSymbolFile && paths.isBootClassPathRtJar(zipFileName)) { 475 if (!ignoreSymbolFile && paths.isDefaultBootClassPathRtJar(zipFileName)) {
476 File file = zipFileName.getParentFile().getParentFile(); // ${java.home} 476 File file = zipFileName.getParentFile().getParentFile(); // ${java.home}
477 if (new File(file.getName()).equals(new File("jre"))) 477 if (new File(file.getName()).equals(new File("jre")))
478 file = file.getParentFile(); 478 file = file.getParentFile();
479 // file == ${jdk.home} 479 // file == ${jdk.home}
480 for (String name : symbolFileLocation) 480 for (String name : symbolFileLocation)

mercurial