AbstractSyntaxChecker: resolve one javadoc issue