JJTree parser for JavaDoq.