war解压工具可以解压很多不同的压缩包，方便使用。