state-designer
mxgraph content copied from https://github.com/jgraph/mxgraph/commit/ce8ce34c66998ded5a48ebfb7544f0f39dd233df 3.9.12 released December 14th, 2018