Skip to content

Make ARG/CFA export in SVG gracefully handle missing awt libraries

Thomas Lemberger requested to merge make-svg-output-work-in-docker-dev-image into trunk

If an internal Java error would occur because of missing X11 font support on the system, re-throw this as an IOException instead.

This makes CPAchecker function on headless Java installations like in our current Dockerfile.dev.

Merge request reports