On Sat, 17 Oct 2015 21:52:02 -0700 tony mancill <[email protected]>
wrote:
> close 800534 5.2.0+dfsg-1
> thanks
>
> The bug appears to be resolved by the new upstream release.
> If it is encountered again, please reopen the bug.
The bug appeared again with jedit 5.2.0+dfsg-2 on Debian Linux
"stretch" ("testing").
$ java -version
java version "1.7.0_91"
OpenJDK Runtime Environment (IcedTea 2.6.2) (7u91-2.6.2-1)
OpenJDK Server VM (build 24.91-b01, mixed mode)
--
Victor Porton - http://portonvictor.org
