appsProps.setIgnoreCase(false);
appsProps.setIgnoreCase(true);
    public void init() {        // set the log factory property        String logFactory = sysProps.getProperty("loggerFactory",                                                 "helma.util.Logging");        helmaLogging = "helma.util.Logging".equals(logFactory);        System.setProperty("org.apache.commons.logging.LogFactory", logFactory);        // set the current working directory to the helma home dir.        // note that this is not a real cwd, which is not supported        // by java. It makes sure relative to absolute path name        // conversion is done right, so for Helma code, this should        // work.        System.setProperty("user.dir", hopHome.getPath());        // from now on it's safe to call getLogger() because hopHome is set up        getLogger();        String startMessage = "Starting Helma " + version + " on Java " +                              System.getProperty("java.version");        logger.info(startMessage);        // also print a msg to System.out        System.out.println(startMessage);        logger.info("Setting Helma Home to " + hopHome);        // read db.properties file in helma home directory        dbProps = new ResourceProperties();        dbProps.setIgnoreCase(false);        dbProps.addResource(new FileResource(new File(hopHome, "db.properties")));        DbSource.setDefaultProps(dbProps);        // read apps.properties file        String appsPropfile = sysProps.getProperty("appsPropFile");        File file;        if ((appsPropfile != null) && !"".equals(appsPropfile.trim())) {            file = new File(appsPropfile);        } else {            file = new File(hopHome, "apps.properties");        }        appsProps = new ResourceProperties();        appsProps.setIgnoreCase(false);        appsProps.addResource(new FileResource(file));        paranoid = "true".equalsIgnoreCase(sysProps.getProperty("paranoid"));        String language = sysProps.getProperty("language");        String country = sysProps.getProperty("country");        String timezone = sysProps.getProperty("timezone");        if ((language != null) && (country != null)) {            Locale.setDefault(new Locale(language, country));        }        if (timezone != null) {            TimeZone.setDefault(TimeZone.getTimeZone(timezone));        }        // logger.debug("Locale = " + Locale.getDefault());        // logger.debug("TimeZone = " +        //                 TimeZone.getDefault().getDisplayName(Locale.getDefault()));        dbSources = new Hashtable();        // try to load the extensions        extensions = new Vector();        if (sysProps.getProperty("extensions") != null) {            initExtensions();        }    }