Thanks for this.
On Wed, Feb 6, 2013 at 10:39 AM, Jesse Glick <typr...@gmail.com> wrote: > To Ted Dunning’s request for the bug number—searching on bugs.sun.comseems to > be broken, and as I no longer work for Oracle I cannot use the > internal search tool. Fortunately I managed to dig it up using other means: > it is #4425695 [1]. >
