recurrent merge

build.txt

src/main/java/avatartranslator/AvatarBlock.java

src/main/java/avatartranslator/AvatarError.java

src/main/java/avatartranslator/AvatarSignal.java

src/main/java/avatartranslator/AvatarSpecification.java

src/main/java/avatartranslator/AvatarStateMachine.java

src/main/java/avatartranslator/AvatarSyntaxChecker.java

src/main/java/ui/TAttribute.java

src/main/java/ui/util/DefaultText.java