@Override
 public String getDetails(boolean countHiddenChildren) {
   String ret = super.getDetails(countHiddenChildren);
   if (!isDirectory()) ret += " (" + OpenPath.formatSize(ze.getCompressedSize()) + ")";
   return ret;
 }
 public static String formatSize(long size, int decimalPoints) {
   return OpenPath.formatSize(size, decimalPoints, true);
 }