if (properties != null) return;
if (properties != null) { return; }
    private static void loadProperties()    {        InputStream is;        if (properties != null) return;            try        {            // Has the default configuration location been overridden?            String configProperty = System.getProperty("dspace.configuration");            if (configProperty != null)            {                // Load the overriding configuration                is = new FileInputStream(configProperty);            }            else            {                // Load configuration from default location                is = ConfigurationManager.class.getResourceAsStream(                    "/dspace.cfg");            }            if (is==null)            {                log.fatal("Cannot find dspace.cfg");                System.exit(1);            }            else            {                properties = new Properties();                properties.load(is);            }            // Load in default license            String licenseFile = getProperty("dspace.dir") + File.separator +                 "config" + File.separator + "default.license";            BufferedReader br = new BufferedReader(new FileReader(licenseFile));            String lineIn;                        license = "";            while ((lineIn = br.readLine()) != null)            {                license = license + lineIn;            }                        is.close();        }        catch (IOException e)        {            log.fatal("Can't load configuration", e);            // FIXME: Maybe something more graceful here, but with the            // configuration we can't do anything            System.exit(1);        }    }