Find the location of fenster.exe by walking through java.library.path. (It will be on the path because it's part of core/library/windows-amd64)
()
| 10244 | * (It will be on the path because it's part of core/library/windows-amd64) |
| 10245 | */ |
| 10246 | static private String findFenster() { |
| 10247 | String libraryPath = System.getProperty("java.library.path"); |
| 10248 | // Should not be null, but cannot assume |
| 10249 | if (libraryPath != null) { |
| 10250 | String[] folders = split(libraryPath, ';'); |
| 10251 | // Usually, the most relevant paths will be at the front of the list, |
| 10252 | // so hopefully this will not walk several entries. |
| 10253 | for (String folder : folders) { |
| 10254 | File file = new File(folder, "fenster.exe"); |
| 10255 | if (file.exists()) { |
| 10256 | return file.getAbsolutePath(); |
| 10257 | } |
| 10258 | } |
| 10259 | } |
| 10260 | return null; |
| 10261 | } |
| 10262 | |
| 10263 | |
| 10264 | /** |