Lines 28-33
Link Here
|
28 |
import org.openide.filesystems.FileObject; |
28 |
import org.openide.filesystems.FileObject; |
29 |
import org.openide.filesystems.URLMapper; |
29 |
import org.openide.filesystems.URLMapper; |
30 |
import org.openide.ErrorManager; |
30 |
import org.openide.ErrorManager; |
|
|
31 |
import org.openide.util.Utilities; |
31 |
|
32 |
|
32 |
/** |
33 |
/** |
33 |
* Implementation of the JavaPlatform API class, which serves proper |
34 |
* Implementation of the JavaPlatform API class, which serves proper |
Lines 157-164
Link Here
|
157 |
ClassPath cp = (ClassPath) (bootstrap == null ? null : bootstrap.get()); |
158 |
ClassPath cp = (ClassPath) (bootstrap == null ? null : bootstrap.get()); |
158 |
if (cp != null) |
159 |
if (cp != null) |
159 |
return cp; |
160 |
return cp; |
160 |
String pathSpec = (String)getSystemProperties().get(SYSPROP_BOOT_CLASSPATH); |
161 |
String pathSpec ; |
161 |
String extPathSpec = Util.getExtensions((String)getSystemProperties().get(SYSPROP_JAVA_EXT_PATH)); |
162 |
String extPathSpec ; |
|
|
163 |
//On VMS, fix the case of JRE path since it could be different |
164 |
//from the case on a physical disk |
165 |
if (Utilities.getOperatingSystem() == Utilities.OS_VMS) { |
166 |
pathSpec = FileUtil.normalizeVMSFilePaths((String)getSystemProperties().get(SYSPROP_BOOT_CLASSPATH)); |
167 |
extPathSpec = Util.getExtensions(FileUtil.normalizeVMSFilePaths((String)getSystemProperties().get(SYSPROP_JAVA_EXT_PATH))); |
168 |
} else { |
169 |
pathSpec = (String)getSystemProperties().get(SYSPROP_BOOT_CLASSPATH); |
170 |
extPathSpec = Util.getExtensions((String)getSystemProperties().get(SYSPROP_JAVA_EXT_PATH)); |
171 |
} |
162 |
if (extPathSpec != null) { |
172 |
if (extPathSpec != null) { |
163 |
pathSpec = pathSpec + File.pathSeparator + extPathSpec; |
173 |
pathSpec = pathSpec + File.pathSeparator + extPathSpec; |
164 |
} |
174 |
} |