JJTree visitors for JavaDoq.