Bug#847581: jabref: doesn't always exit and throws exception upon exit

[tony mancill]

On Fri, 9 Dec 2016 08:17:17 -0800 tony mancill <tmancill at debian.org> wrote:
> Package: jabref
> Version: 3.6+ds-1
> Severity: normal

I am unable to reproduce this with 3.8+ds-2.