
<html><head></head><body><pre>On Sat, 17 Oct 2015 21:52:02 -0700 tony mancill <tmancill@debian.org> wrote:

> close 800534 5.2.0+dfsg-1

> thanks

> 

> The bug appears to be resolved by the new upstream release.</pre><pre>> If it is encountered again, please reopen the bug.

</pre><pre><div class="markdown_content"><p><br></p><p>The bug appeared again with jedit 5.2.0+dfsg-2 on Debian Linux "stretch" ("testing").</p>

<p>$ 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)</p></div>

</pre><div class="-x-evo-signature-wrapper"><span><pre>-- 

Victor Porton - http://portonvictor.org

</pre></span></div></body></html>