prettified diagrams and updated *.xmi export