some more javadoc comments.

src/main/java/avatartranslator/AvatarBlock.java

src/main/java/avatartranslator/AvatarSpecification.java

...main/java/avatartranslator/AvatarStateMachineElement.java

...va/avatartranslator/intboolsolver/AvatarIBSAbsSolver.java

...avatartranslator/intboolsolver/AvatarIBSStdAttribute.java

...rtranslator/intboolsolver/AvatarIBSStdAttributeClass.java

...ava/avatartranslator/modelchecker/SpecificationBlock.java

...ava/avatartranslator/modelchecker/SpecificationState.java

src/main/java/myutil/intboolsolver/IBSAttribute.java

src/main/java/myutil/intboolsolver/IBSAttributeClass.java

src/main/java/myutil/intboolsolver/IBSAttributeTypes.java

.../java/myutil/intboolsolver/IBSClosedFormulaAttribute.java

.../myutil/intboolsolver/IBSClosedFormulaAttributeClass.java

...ain/java/myutil/intboolsolver/IBSClosedFormulaSolver.java

src/main/java/myutil/intboolsolver/IBSCompParam.java

src/main/java/myutil/intboolsolver/IBSCompStateParam.java

src/main/java/myutil/intboolsolver/IBSParamComp.java

src/main/java/myutil/intboolsolver/IBSParamCompState.java

src/main/java/myutil/intboolsolver/IBSParamSpec.java

src/main/java/myutil/intboolsolver/IBSParamSpecState.java