From 11d4b2b9b9c9537bb942422e9bc43ebd4195cedc Mon Sep 17 00:00:00 2001 From: wenshao Date: Mon, 27 Aug 2012 10:23:55 +0800 Subject: [PATCH] add tools.jar optional dependency --- pom.xml | 1 + 1 file changed, 1 insertion(+) diff --git a/pom.xml b/pom.xml index 2c28bf4501..515a69eb6d 100644 --- a/pom.xml +++ b/pom.xml @@ -286,6 +286,7 @@ 1.6.0 system ${toolsjar} + true