code: private void configure() {
          LogManager manager = LogManager.getLogManager();
          String cname = getClass().getName();
  
          pushLevel = manager.getLevelProperty(cname +".push", Level.SEVERE);
          size = manager.getIntProperty(cname + ".size", DEFAULT_SIZE);
          if (size <= 0) {
              size = DEFAULT_SIZE;
          }
          setLevel(manager.getLevelProperty(cname +".level", Level.ALL));
          setFilter(manager.getFilterProperty(cname +".filter", null));
          setFormatter(manager.getFormatterProperty(cname +".formatter", new SimpleFormatter()));
      }
docs: javadoc.