Merge improvements by Tony Bargnesi:
[javainspect.git] / tools /
2016-02-27 Svjatoslav Agejenkoadded tools