Ignore the Tools directory when generating coverage reports.
Ignore the Tools directory when generating coverage reports.

jeff5/jython-devguide,ezio-melotti/devguide,jython/devguide,jeff5/jython-devguide,jython/devguide,jeff5/jython-devguide,jython/devguide