--- a/jdk/src/java.desktop/share/classes/javax/swing/text/GapContent.java Mon Aug 18 14:03:21 2014 +0100
+++ b/jdk/src/java.desktop/share/classes/javax/swing/text/GapContent.java Tue Aug 19 10:32:16 2014 -0700
@@ -280,7 +280,7 @@
* is held by the mark, so it is adjusted according
* to it's relationship to the gap.
*/
- public final int getOffset() {
+ public int getOffset() {
int g0 = getGapStart();
int g1 = getGapEnd();
int offs = (index < g0) ? index : index - (g1 - g0);
@@ -302,7 +302,7 @@
this.mark = mark;
}
- public final int getOffset() {
+ public int getOffset() {
return mark.getOffset();
}