equal
deleted
inserted
replaced
477 new PrivilegedAction<String>() { |
477 new PrivilegedAction<String>() { |
478 public String run() { |
478 public String run() { |
479 String zi = System.getProperty("java.home") + |
479 String zi = System.getProperty("java.home") + |
480 File.separator + "lib" + File.separator + "zi"; |
480 File.separator + "lib" + File.separator + "zi"; |
481 try { |
481 try { |
482 zi = FileSystems.getDefault().getPath(zi).toRealPath(true).toString(); |
482 zi = FileSystems.getDefault().getPath(zi).toRealPath().toString(); |
483 } catch(Exception e) { |
483 } catch(Exception e) { |
484 } |
484 } |
485 return zi; |
485 return zi; |
486 } |
486 } |
487 }); |
487 }); |