Maj aide pragmas

src/main/java/avatartranslator/AvatarActionOnSignal.java

src/main/java/avatartranslator/AvatarDependencyGraph.java

src/main/java/avatartranslator/AvatarSpecification.java

src/main/java/graph/AUTGraphDisplay.java

src/main/java/ui/window/JDialogAvatarModelChecker.java

src/main/resources/help/helpTable.txt