Processed: cloning 890905, retitle 890905 to jabref: doesn't build/run with default-jdk/-jre ...

Fri Mar 16 20:39:06 UTC 2018

Processing commands for control at bugs.debian.org:

> clone 890905 -1
Bug #890905 [jabref] jabref: fails to build and start with openjdk-9
Bug 890905 cloned as bug 893138
> retitle 890905 jabref: doesn't build/run with default-jdk/-jre
Bug #890905 [jabref] jabref: fails to build and start with openjdk-9
Changed Bug title to 'jabref: doesn't build/run with default-jdk/-jre' from 'jabref: fails to build and start with openjdk-9'.
> severity -1 important
Bug #893138 [jabref] jabref: fails to build and start with openjdk-9
Severity set to 'important' from 'serious'
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
890905: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=890905
893138: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=893138
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems