--- old/src/java.desktop/share/classes/javax/swing/undo/UndoManager.java 2017-05-18 14:08:24.000000000 -0700 +++ new/src/java.desktop/share/classes/javax/swing/undo/UndoManager.java 2017-05-18 14:08:24.000000000 -0700 @@ -58,7 +58,8 @@ * and italicized are insignificant. *

* - * + *
+ * *
Figure 1
* *
Figure 1 @@ -71,7 +72,8 @@ * figure. *

* - * + *
+ * *
Figure 2
* *
Figure 2 @@ -83,7 +85,8 @@ * next edit to 0, as shown in the following figure. *

* - * + *
+ * *
Figure 3
* *
Figure 3 @@ -109,7 +112,8 @@ * figure. *

* - * + *
+ * *
Figure 4
* *
Figure 4