fix build by explicitly specifying tools.jar dependency in pom.xml
fix build by explicitly specifying tools.jar dependency in pom.xml

alexsaveliev/srclib-java,alexsaveliev/srclib-java,alexsaveliev/srclib-java,sourcegraph/srclib-java,sourcegraph/srclib-java,sourcegraph/srclib-java