(String key)
| 713 | } |
| 714 | |
| 715 | private static List<String> initPaths(String key) { |
| 716 | String value = System.getProperty(key, ""); |
| 717 | if ("".equals(value)) { |
| 718 | return Collections.emptyList(); |
| 719 | } |
| 720 | StringTokenizer st = new StringTokenizer(value, File.pathSeparator); |
| 721 | List<String> list = new ArrayList<>(); |
| 722 | while (st.hasMoreTokens()) { |
| 723 | String path = st.nextToken(); |
| 724 | if (!"".equals(path)) { |
| 725 | list.add(path); |
| 726 | } |
| 727 | } |
| 728 | return list; |
| 729 | } |
| 730 | |
| 731 | /** Use standard library search paths to find the library. */ |
| 732 | private static String findLibraryPath(String libName, Collection<String> searchPath) { |
no test coverage detected