Assume tools.jar is always at hand