LicenseManager () { final LicenseManager instance = ourInstance; /*1*/ /*2*/ /*3*/ /*4*/ LicenseManager result = null; if (instance != null) result = instance; if (result == null) result = setInstance(new IdeaLicenseManager(/*3*/)); return result; }