update debian_libs.patch: we now have /usr/share/java/jgoodies-forms.jar