Java’s latest version, JDK 1.6.0 Update 18 [1], seems to have fixed the most frequent DrJava bug report, which Corky determined to be Sun’s problem [2] (Oracle’s problem now). We have been filing all of the bug reports as duplicates of bug 2831821″Caret updating is broken” [3].
So far, there hasn’t been a single bug report describing the same symptoms that used 1.6.0_18. Here are links to SourceForge tracker searches:
- “1.6.0_18” and “Caret updating is broken” in comments [4]: 0 items
- no “1.6.0_18” and “Caret updating is broken” in comments [5]: 35 items
- “1.6.0_17” and “Caret updating is broken” in comments [6]: 10 items
- “1.6.0_16” and “Caret updating is broken” in comments [7]: 17 items
- “1.6.0_15” and “Caret updating is broken” in comments [8]: 3 items
- “1.6.0_14” and “Caret updating is broken” in comments [9]: 3 items
- Bugs 2867539 [10] and 2867540 [11] use 1.6.0_16 but for some reason don’t appear in the searches above.
- “Caret updating is broken” in comments [12]: 35 items
That covers all 35 duplicate bug reports we have received.
It’s difficult to definitively check that a bug that only happened sporadically has indeed been fixed, and fixed by someone else without any involvement by us, but I think I’ll close the bug report.