private void configure() {
        LogManager manager = LogManager.getLogManager();
	String cname = getClass().getName();

	pushLevel = getLevelProperty(manager, cname +".push", Level.SEVERE);
	size = getIntProperty(manager, cname + ".size", DEFAULT_SIZE);
	if (size <= 0) {
	    size = DEFAULT_SIZE;
	}
    
	setLevel(getLevelProperty(manager, cname +".level", Level.ALL));
	setFilter(getFilterProperty(manager, cname +".filter", null));
	setFormatter(getFormatterProperty(manager, cname +".formatter", new SimpleFormatter()));
    }