code: static File getStorageFile(StorageDirectory sd, NameNodeFile type, long imageTxId) {
      return new File(sd.getCurrentDir(),
                      String.format("%s_%019d", type.getName(), imageTxId));
    }
docs: //////////////////////////////////////////////////////////////////////