Add Attachment:DRY-44: vis-tc-jtree: visualize a type-checked Java program