org_aspectj_testing_xml_AjcSpecXmlReaderTest_java
org.aspectj.util.LangUtil
public static File getJavaExecutable() {
        File binDir;
        String javaHome = null;
        File result = null;
        try {
            javaHome = System.getProperty("java.home");
        }
        catch (Throwable throwable) {
            // empty catch block
        }
        if (null != javaHome && (binDir = new File(javaHome, "bin")).isDirectory() && binDir.canRead()) {
            String exec;
            String[] execs;
            String[] stringArray = execs = new String[]{"java", "java.exe"};
            int n = stringArray.length;
            for (int i = 0; i < n && !(result = new File(binDir, exec = stringArray[i])).canRead(); ++i) {
            }
        }
        return result;
    }
 -> java.lang.System.getProperty(java.lang.String): java.lang.String -> java.io.File.isDirectory(): boolean -> java.io.File.canRead(): boolean -> java.io.File.canRead(): boolean
 [CALL] -> java.lang.System.getProperty(java.lang.String): java.lang.String -> java.io.File.isDirectory(): boolean -> java.io.File.canRead(): boolean -> java.io.File.canRead(): boolean [EXIT]