/** * Determine the classpath noted in wala.properties for J2SE standard libraries * * If wala.properties cannot be loaded, returns jar files in boot classpath. * @throws IllegalStateException if jar files cannot be discovered * @see PlatformUtil#getBootClassPathJars() */ public static String[] getJ2SEJarFiles() { Properties p = null; try { p = WalaProperties.loadProperties(); } catch (WalaException e) { return PlatformUtil.getBootClassPathJars(); } String dir = p.getProperty(WalaProperties.J2SE_DIR); if (dir == null || !(new File(dir)).isDirectory()) { System.err.println("WARNING: java_runtime_dir " + dir + " in wala.properties is invalid. Using boot class path instead."); return PlatformUtil.getBootClassPathJars(); } return getJarsInDirectory(dir); }
/** * Determine the classpath noted in wala.properties for J2SE standard libraries * * If wala.properties cannot be loaded, returns jar files in boot classpath. * @throws IllegalStateException if jar files cannot be discovered * @see PlatformUtil#getBootClassPathJars() */ public static String[] getJ2SEJarFiles() { Properties p = null; try { p = WalaProperties.loadProperties(); } catch (WalaException e) { return PlatformUtil.getBootClassPathJars(); } String dir = p.getProperty(WalaProperties.J2SE_DIR); if (dir == null || !(new File(dir)).isDirectory()) { System.err.println("WARNING: java_runtime_dir " + dir + " in wala.properties is invalid. Using boot class path instead."); return PlatformUtil.getBootClassPathJars(); } return getJarsInDirectory(dir); }