remove obsolete comment
update typechecker jar