Improved drawing of diplo spec transformed in avatar

src/main/java/ui/AvatarPanelDrawer.java

src/main/java/ui/GTURTLEModeling.java

src/main/java/ui/MainGUI.java

src/main/java/ui/window/JDialogProverifVerification.java