code: public void setPushLevel(Level newLevel) throws SecurityException {
          if (newLevel == null) {
              throw new NullPointerException();
          }
          LogManager manager = LogManager.getLogManager();
          checkPermission();
          pushLevel = newLevel;
      }
docs: Set the <tt>pushLevel</tt>.  After a <tt>LogRecord</tt> is copied
  into our internal buffer, if its level is greater than or equal to
  the <tt>pushLevel</tt>, then <tt>push</tt> will be called.
  
  @param newLevel the new value of the <tt>pushLevel</tt>
  @exception  SecurityException  if a security manager exists and if
  the caller does not have <tt>LoggingPermission("control")</tt>.