code: public String deduplicate(String name){
  		long id = nextId(name);
  		if (id == 0){	// the first one
  			return name;
  		}else{
  			return String.format(renamePattern, name, id);
  		}
  	}
docs: Ensure a unique name, rename if needed.<br>
  确保名称不重复，如果有必要就改名。
  <p>
  This method is multi-threads safe.
  <p>
  这个方法是多线程安全的。
  
  @param name	The original name<br>原名称
  @return		Same as the original name if or renamed<br>与原名称相同，或被自动改名