Update on TMLMapping displaying from Z3 result

modeling/DIPLODOCUS/ModelsForZ3Tests/Z3SimpleTestCase.xml

src/main/java/ui/GTURTLEModeling.java

src/main/java/ui/TGComponent.java

src/main/java/ui/tmldd/TMLArchiArtifact.java

src/main/java/ui/tmldd/TMLArchiDiagramPanel.java

src/main/java/ui/window/JDialogDSEZ3.java