import com.sun.tools.javac.file.ZipArchive.ZipFileObject; //导入依赖的package包/类
public void run() throws Exception {
    File java_home = new File(System.getProperty("java.home"));
    if (java_home.getName().equals("jre"))
        java_home = java_home.getParentFile();

    JavaCompiler c = ToolProvider.getSystemJavaCompiler();
    StandardJavaFileManager fm = c.getStandardFileManager(null, null, null);
    //System.err.println("platform class path: " + asList(fm.getLocation(StandardLocation.PLATFORM_CLASS_PATH)));

    for (JavaFileObject fo: fm.list(StandardLocation.PLATFORM_CLASS_PATH,
                                    "java.lang",
                                    Collections.singleton(JavaFileObject.Kind.CLASS),
                                    false)) {
        test++;

        if (!(fo instanceof ZipFileObject || fo instanceof ZipFileIndexFileObject)) {
            System.out.println("Skip " + fo.getClass().getSimpleName() + " " + fo.getName());
            skip++;
            continue;
        }

        //System.err.println(fo.getName());
        String p = fo.getName();
        int bra = p.indexOf("(");
        int ket = p.indexOf(")");
        //System.err.println(bra + "," + ket + "," + p.length());
        if (bra == -1 || ket != p.length() -1)
            throw new Exception("unexpected path: " + p + "[" + bra + "," + ket + "," + p.length());
        String part1 = p.substring(0, bra);
        String part2 = p.substring(bra + 1, ket);
        //System.err.println("[" + part1 + "|" + part2 + "]" + " " + java_home);
        if (part1.equals(part2) || !part1.startsWith(java_home.getPath()))
            throw new Exception("bad path: " + p);

    }

    if (test == 0)
        throw new Exception("no files found");

    if (skip == 0)
        System.out.println(test + " files found");
    else
        System.out.println(test + " files found, " + skip + " files skipped");

    if (test == skip)
        System.out.println("Warning: all files skipped; no platform classes found in zip files.");
}