Make tools.jar dependency optional