PlantUmlSwingBddGraphRenderer

Renders a BDD's DOT source as an actual graph picture by converting it to an equivalent PlantUML state diagram (see dotToPlantUml) and rendering that with PlantUML's own pure-JVM Smetana layout engine (the !pragma layout smetana in dotToPlantUml's output, same engine :documentation's generateDiagrams task already uses) - no native Graphviz install and, unlike the graphviz-java renderer this replaced, no GraalVM JS engine either, which broke application startup entirely on JDKs newer than 21.