Processed: unmerge bug 725017

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> unmerge 725017
Bug #725017 [freemind] freemnd: ignores keyboard input
Bug #713144 [freemind] freemind: FTBFS:     [javac] /«BUILDDIR»/freemind-0.9.0+dfsg/freemind/freemind/preferences/layout/OptionPanel.java:237: cannot find symbol
Bug #720388 [freemind] freemind: fails to locate jgoodies ButtonBarFactory class
Bug #720390 [freemind] freemind: showing "preferences" fails with IllegalAccessError
Disconnected #725017 from all other report(s).
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
713144: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=713144
720388: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=720388
720390: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=720390
725017: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=725017
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems