Java backend: minor: revised some documentation
testgen: implemented a pluggable structure checker for K AST