--- 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
| | | |