src/java.desktop/share/classes/javax/swing/text/DefaultStyledDocument.java

*** 1,7 ****
  /*
!  * Copyright (c) 1997, 2015, Oracle and/or its affiliates. All rights reserved.
   * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
   *
   * This code is free software; you can redistribute it and/or modify it
   * under the terms of the GNU General Public License version 2 only, as
   * published by the Free Software Foundation.  Oracle designates this
--- 1,7 ----
  /*
!  * Copyright (c) 1997, 2017, Oracle and/or its affiliates. All rights reserved.
   * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
   *
   * This code is free software; you can redistribute it and/or modify it
   * under the terms of the GNU General Public License version 2 only, as
   * published by the Free Software Foundation.  Oracle designates this
*** 1795,1806 ****
          }
  
          /**
           * Pushes a new element onto the stack that represents
           * the current path.
-          * @param record Whether or not the push should be
-          *  recorded as an element change or not.
           * @param isFracture true if pushing on an element that was created
           * as the result of a fracture.
           */
          void push(Element e, int index, boolean isFracture) {
              ElemChanges ec = new ElemChanges(e, index, isFracture);
--- 1795,1804 ----