make tools.jar dependency optional