Re: [jbosstools-dev] Git tip for comparing small changes/documents