private static synchronized Sdk getDefaultSdk() {
        if (ourDefaultSdk == null) {
            ourDefaultSdk = new SimpleJavaSdkType().createJdk("tmp", SystemProperties.getJavaHome());
        }

        return ourDefaultSdk;
    }
private static synchronized Sdk getDefaultSdk()