Tools.extract(ZipFile, File) is available to extract the content in a zip or jar file into a given directory.

Signed-off-by: 核心力量 <kernelforce@gmail.com>