Fixed bug in emulink.js, now user can create a diagram using a pvs speci...fication, saving it and restore it later (node position included)