Dear Maintainer,

* What led up to the situation?
   "File" -> "Export" -> "Graphics View as Picture..." choose PDF
   The export failes with the message: "Saving file failed"
   From the log in "/tmp":
   Nov 29, 2020 1:34:33 PM
STDERR: java.lang.NoClassDefFoundError: org/freehep/graphicsbase/util/UserProperties
Nov 29, 2020 1:34:33 PM

* What exactly did you do (or not do) that was effective (or
     ineffective)?

I installed: libfreehep-graphicsbase-java (which seems to contain UserProperties.java).
This changes the error message to:

STDERR: java.lang.ClassCastException: class org.freehep.graphicsbase.util.UserProperties cannot be cast to class org.freehep.util.UserProperties (org.freehep.graphicsbase.util.UserProperties and org.freehep.util.UserProperties are in unnamed module of loader 'app')

It seems that the export functionality is incompatible with the upgraded version of freehep.

This issue seems similar to bug #985604 and related to the update to
FreeHEP 2.4. It still affects the geogebra package in bookworm.

The following patch, similar to the one applied to sweethome3d, fixes
this issue:

```
--- a/geogebra/export/GraphicExportDialog.java
+++ b/geogebra/export/GraphicExportDialog.java
@@ -56,7 +56,7 @@
 import org.freehep.graphicsio.emf.EMFGraphics2D;
 import org.freehep.graphicsio.pdf.PDFGraphics2D;
 import org.freehep.graphicsio.svg.SVGGraphics2D;
-import org.freehep.util.UserProperties;
+import org.freehep.graphicsbase.util.UserProperties;

 /**
  * @author Markus Hohenwarter
```

Regards,
Thiago