added visitor option to jjt-file