added functionality to display java symbol tables as dicts