Changes for 2.3.12 Fixed a bug with Diagram.makeSVG that was causing an exception. Fixed an issue where LayeredDigraphLayout.alignOption could lay out nodes incorrectly if custom layering was provided.