private String generateTmpFileName() {
   return TEMP_DIR + FILE_SEP + "vertx-" + UUID.randomUUID().toString();
 }
 private String genDepName() {
   return "deployment-" + UUID.randomUUID().toString();
 }