Added requirement for JDK tools.jar