/lively4-petrinet/src/client/js-beautify