cache = new CacheMap ((int) Math.ceil (cacheSize/0.75f), 0.75f);
cache = new CacheMap (cacheSize, 0.75f);
    public NodeManager (Application app, String dbHome, Properties props) throws DbException {	this.app = app;	int cacheSize = Integer.parseInt (props.getProperty ("cachesize", "1000"));	// Make actual cache size bigger, since we use it only up to the threshold	cache = new CacheMap ((int) Math.ceil (cacheSize/0.75f), 0.75f);	IServer.getLogger().log ("set up node cache ("+cacheSize+")");	safe = new WrappedNodeManager (this);	// get the initial id generator value	String idb = props.getProperty ("idBaseValue");	if (idb != null) try {	    idBaseValue = Long.parseLong (idb);	    idBaseValue = Math.max (1l, idBaseValue); // 0 and 1 are reserved for root nodes	} catch (NumberFormatException ignore) {}	db = new DbWrapper (dbHome, Server.dbFilename, Server.useTransactions);	initDb ();	logSql = "true".equalsIgnoreCase(props.getProperty ("logsql"));    }